summaryrefslogtreecommitdiff
path: root/compiler/PureUtils.ml
diff options
context:
space:
mode:
Diffstat (limited to 'compiler/PureUtils.ml')
-rw-r--r--compiler/PureUtils.ml26
1 files changed, 19 insertions, 7 deletions
diff --git a/compiler/PureUtils.ml b/compiler/PureUtils.ml
index e86d2a78..e13743c4 100644
--- a/compiler/PureUtils.ml
+++ b/compiler/PureUtils.ml
@@ -3,13 +3,6 @@ open Pure
(** Default logger *)
let log = Logging.pure_utils_log
-(** We use this type as a key for lookups *)
-type regular_fun_id = A.fun_id * T.RegionGroupId.id option
-[@@deriving show, ord]
-
-(** We use this type as a key for lookups *)
-type fun_loop_id = A.FunDeclId.id * LoopId.id option [@@deriving show, ord]
-
module RegularFunIdOrderedType = struct
type t = regular_fun_id
@@ -21,6 +14,25 @@ end
module RegularFunIdMap = Collections.MakeMap (RegularFunIdOrderedType)
+(** We use this type as a key for lookups *)
+type regular_fun_id_not_loop = A.fun_id * T.RegionGroupId.id option
+[@@deriving show, ord]
+
+(** We use this type as a key for lookups *)
+type fun_loop_id = A.FunDeclId.id * LoopId.id option [@@deriving show, ord]
+
+module RegularFunIdNotLoopOrderedType = struct
+ type t = regular_fun_id_not_loop
+
+ let compare = compare_regular_fun_id_not_loop
+ let to_string = show_regular_fun_id_not_loop
+ let pp_t = pp_regular_fun_id_not_loop
+ let show_t = show_regular_fun_id_not_loop
+end
+
+module RegularFunIdNotLoopMap =
+ Collections.MakeMap (RegularFunIdNotLoopOrderedType)
+
module FunOrOpIdOrderedType = struct
type t = fun_or_op_id