From 49f69c1ab4d3d8716f30d7bd36a66a4241e16d33 Mon Sep 17 00:00:00 2001
From: Chimrod <>
Date: Tue, 3 Oct 2023 15:10:26 +0200
Subject: New analyzer for the dead end

---
 lib/syntax/default.ml | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

(limited to 'lib/syntax/default.ml')

diff --git a/lib/syntax/default.ml b/lib/syntax/default.ml
index f4bc34e..9c5073c 100644
--- a/lib/syntax/default.ml
+++ b/lib/syntax/default.ml
@@ -1,3 +1,8 @@
+(** Default implementation which does nothing. 
+
+This module is expected to be used when you only need to implement an analyze
+over a limited part of the whole syntax. *)
+
 type pos = Lexing.position * Lexing.position
 type ('a, 'b) variable = { pos : 'a; name : string; index : 'b option }
 
@@ -5,7 +10,7 @@ module Expression = struct
   type 'a obs
   type repr = unit
 
-  type variable = { pos : pos; name : string; index : repr option }
+  type variable
   (** 
       Describe a variable, using the name in capitalized text, and an optionnal
       index.
-- 
cgit v1.2.3