diff options
Diffstat (limited to 'src')
| -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] |