New analyzer for the dead end

1 files changed, 6 insertions, 1 deletions

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.