diff options
Diffstat (limited to 'lib/syntax/default.ml')
| -rw-r--r-- | lib/syntax/default.ml | 7 | 
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. | 
