aboutsummaryrefslogtreecommitdiff
path: root/lib/syntax/default.ml
diff options
context:
space:
mode:
Diffstat (limited to 'lib/syntax/default.ml')
-rw-r--r--lib/syntax/default.ml7
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.