Added dependencies system between the modules in the checksHEADmaster

1 files changed, 0 insertions, 32 deletions

diff --git a/lib/syntax/catalog.mli b/lib/syntax/catalog.mli
deleted file mode 100644
index a386d4a..0000000
--- a/lib/syntax/catalog.mli
+++ /dev/null
@@ -1,32 +0,0 @@
-type ex =
-  | E : {
-      module_ :
-        (module S.Analyzer
-           with type Expression.t = 'a
-            and type Expression.t' = 'b
-            and type Instruction.t = 'c
-            and type Instruction.t' = 'd
-            and type Location.t = 'e
-            and type context = 'f);
-      expr_witness : 'a Type.Id.t;
-      expr' : 'b Type.Id.t;
-      instr_witness : 'c Type.Id.t;
-      instr' : 'd Type.Id.t;
-      location_witness : 'e Type.Id.t;
-      context : 'f Type.Id.t;
-    }
-      -> ex  (** Type of check to apply *)
-
-val build :
-  ?location_id:'a Type.Id.t ->
-  ?context_id:'b Type.Id.t ->
-  (module S.Analyzer
-     with type Expression.t = _
-      and type Expression.t' = _
-      and type Instruction.t = _
-      and type Instruction.t' = _
-      and type Location.t = 'a
-      and type context = 'b) ->
-  ex
-(** Build a new check from a module following S.Analyzer signature. ypeid Return
-    the result type which hold the final result value, and checker itself. *)