From 75f3eabb46eded01460f7700a75d094100047438 Mon Sep 17 00:00:00 2001
From: Chimrod <>
Date: Sat, 14 Dec 2024 23:06:12 +0100
Subject: Added dynamic check mecanism

---
 lib/syntax/catalog.mli | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

(limited to 'lib/syntax/catalog.mli')

diff --git a/lib/syntax/catalog.mli b/lib/syntax/catalog.mli
index a256c17..a386d4a 100644
--- a/lib/syntax/catalog.mli
+++ b/lib/syntax/catalog.mli
@@ -18,13 +18,15 @@ type ex =
       -> 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 = _) ->
-  'a Type.Id.t * ex
+      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. *)
-- 
cgit v1.2.3