diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/Identifiers.ml | 14 |
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 |