diff options
author | Chimrod <> | 2023-10-07 12:24:37 +0200 |
---|---|---|
committer | Chimrod <> | 2023-10-18 09:49:47 +0200 |
commit | c2f87ff1e6e5676968804cd50b86fc2f0f9ad672 (patch) | |
tree | ab0770cc70bbe6ed26606200110cc503390ac420 /lib/syntax/tree.mli | |
parent | a70c88bd727c7938c3d8d1355bf5474546d7d72e (diff) |
Made explicit the use of the report in the parser
Diffstat (limited to 'lib/syntax/tree.mli')
-rw-r--r-- | lib/syntax/tree.mli | 8 |
1 files changed, 3 insertions, 5 deletions
diff --git a/lib/syntax/tree.mli b/lib/syntax/tree.mli index c54a9ff..c16a02a 100644 --- a/lib/syntax/tree.mli +++ b/lib/syntax/tree.mli @@ -7,8 +7,6 @@ (** This module is the result of the evaluation. *) module Ast : sig - type pos = Lexing.position * Lexing.position - type 'a variable = { pos : 'a; name : string; index : 'a expression option } [@@deriving eq, show] (** A variable, used both in an expression (reference) or in a statement @@ -46,6 +44,6 @@ end include S.Analyzer - with type Expression.t = Ast.pos Ast.expression - and type Instruction.repr = Ast.pos Ast.statement - and type Location.repr = Ast.pos * Ast.pos Ast.statement list + with type Expression.t' = S.pos Ast.expression + and type Instruction.t' = S.pos Ast.statement + and type Location.repr = S.pos * S.pos Ast.statement list |