New checker which operate accumulate differents other checkers

1 files changed, 40 insertions, 0 deletions

diff --git a/lib/syntax/check.mli b/lib/syntax/check.mli
new file mode 100644
index 0000000..276e51f
--- /dev/null
+++ b/lib/syntax/check.mli
@@ -0,0 +1,40 @@
+module Id : sig
+  type 'a typeid
+  (** The type created on-the-fly. *)
+
+  val newtype : unit -> 'a typeid
+  (** Create a new instance of a dynamic type *)
+
+  type ('a, 'b) eq = Eq : ('a, 'a) eq
+
+  val try_cast : 'a typeid -> 'b typeid -> ('a, 'b) eq option
+  (** Compare two types using the Eq pattern *)
+end
+
+type transform =
+  | E : {
+      module_ :
+        (module S.Analyzer
+           with type Expression.t = 'a
+            and type Instruction.t = 'b
+            and type Location.t = 'c);
+      expr_witness : 'a Id.typeid;
+      instr_witness : 'b Id.typeid;
+      location_witness : 'c Id.typeid;
+    }
+      -> transform
+
+module type App = sig
+  val t : transform array
+end
+
+type result = R : { value : 'a; witness : 'a Id.typeid } -> result
+
+module Make (A : App) : sig
+  include
+    S.Analyzer
+      with type Location.t = result array
+       and type Instruction.t' = result array
+       and type Expression.t' = result array
+end
+[@@warning "-67"]