summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--src/Identifiers.ml14
1 files changed, 2 insertions, 12 deletions
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