diff options
author | Son Ho | 2021-11-17 12:54:25 +0100 |
---|---|---|
committer | Son Ho | 2021-11-17 12:54:25 +0100 |
commit | 25fe1a81758bcf25171beee849467b2fff673b20 (patch) | |
tree | 3ea541ffb099129eec364f89581b47c5f5dd65be | |
parent | 4f3807c15ea1e7f8c69dbf120ea3c54e0e60d3ac (diff) |
Make minor modifications
-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 |