From 25fe1a81758bcf25171beee849467b2fff673b20 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Wed, 17 Nov 2021 12:54:25 +0100
Subject: Make minor modifications

---
 src/Identifiers.ml | 14 ++------------
 1 file changed, 2 insertions(+), 12 deletions(-)

(limited to 'src/Identifiers.ml')

diff --git a/src/Identifiers.ml b/src/Identifiers.ml
index 5cf92c09..6140b7d4 100644
--- a/src/Identifiers.ml
+++ b/src/Identifiers.ml
@@ -1,11 +1,5 @@
 exception IntegerOverflow of unit
 
-type gen_int = int [@@deriving of_yojson]
-(** This definition is used only to derive a proper int deserialization function *)
-
-type 'a gen_list = 'a list [@@deriving of_yojson]
-(** This definition is used only to derive a proper list deserialization function *)
-
 (** Signature for a module describing an identifier.
     
     We often need identifiers (for definitions, variables, etc.) and in
@@ -39,9 +33,9 @@ end
     See [Id].
 *)
 module IdGen () : Id = struct
-  type id = int
+  type id = int [@@deriving of_yojson]
 
-  type 'a vector = 'a list
+  type 'a vector = 'a list [@@deriving of_yojson]
 
   let zero = 0
 
@@ -53,10 +47,6 @@ module IdGen () : Id = struct
 
   let to_string = string_of_int
 
-  let id_of_yojson json = gen_int_of_yojson json
-
-  let vector_of_yojson a_of_yojson json = gen_list_of_yojson a_of_yojson json
-
   (* TODO: how to make this work? *)
   (* (module Ord : Map.OrderedType = struct
        type t = id
-- 
cgit v1.2.3