diff options
Diffstat (limited to 'lib/syntax/tree.mli')
| -rw-r--r-- | lib/syntax/tree.mli | 9 |
1 files changed, 4 insertions, 5 deletions
diff --git a/lib/syntax/tree.mli b/lib/syntax/tree.mli index 9ed442b..097a7ac 100644 --- a/lib/syntax/tree.mli +++ b/lib/syntax/tree.mli @@ -1,9 +1,7 @@ -(** - Implementation for S.Analyzer for building a complete Ast. +(** Implementation for S.Analyzer for building a complete Ast. Used in the unit test in order to check if the grammar is interpreted as - expected, not really usefull over a big qsp. - *) + expected, not really usefull over a big qsp. *) (** This module is the result of the evaluation. *) module Ast : sig @@ -53,8 +51,9 @@ module Expression : sig end include - S.Analyzer + Analyzer.T with module Expression := Expression and type Instruction.t' = S.pos Ast.statement and type Location.t = S.pos * S.pos Ast.statement list and type context = unit + and type ex = Identifier.t |