diff options
author | Son Ho | 2021-11-18 14:39:25 +0100 |
---|---|---|
committer | Son Ho | 2021-11-18 14:39:25 +0100 |
commit | 04127f7cd76e22f0f807077144ffbc5bd416e049 (patch) | |
tree | ea750eaab19f69533e2b70dc4790e6c2093fc4dd /src | |
parent | 66ff3d7d0c2b776137ba84a198a3835ba4ad5384 (diff) |
Cleanup a bit
Diffstat (limited to '')
-rw-r--r-- | src/Identifiers.ml | 27 |
1 files changed, 0 insertions, 27 deletions
diff --git a/src/Identifiers.ml b/src/Identifiers.ml index 825e0e40..75773312 100644 --- a/src/Identifiers.ml +++ b/src/Identifiers.ml @@ -25,9 +25,6 @@ module type Id = sig (Yojson.Basic.t -> ('a, string) result) -> Yojson.Basic.t -> ('a vector, string) result - - (* TODO: remove *) - (* module Map : Map.S with type key = id *) end (** Generative functor for identifiers. @@ -78,30 +75,6 @@ module IdGen () : Id = struct ("vector_of_json failed on: " ^ Yojson.Basic.show js ^ ":\n" ^ msg) | Ok x -> Ok x) | _ -> Error ("not a list: " ^ Yojson.Basic.show js) - - (* TODO: how to make this work? *) - (* (module Ord : Map.OrderedType = struct - type t = id - - let compare t1 t2 = t2 - t1 - end) - - module IdMap = Map.Make (Ord) *) - - (* module Map = Map.Make (struct - type t = id - - let compare = Stdlib.compare - end) *) - - (* let ord = - (module struct - type t = id - - let compare = Stdlib.compare - end) - - module Map = Map.Make (ord) *) end type name = string list [@@deriving yojson] |