aboutsummaryrefslogtreecommitdiff
path: root/lib/syntax/tree.mli
diff options
context:
space:
mode:
authorChimrod <>2023-10-07 12:24:37 +0200
committerChimrod <>2023-10-18 09:49:47 +0200
commitc2f87ff1e6e5676968804cd50b86fc2f0f9ad672 (patch)
treeab0770cc70bbe6ed26606200110cc503390ac420 /lib/syntax/tree.mli
parenta70c88bd727c7938c3d8d1355bf5474546d7d72e (diff)
Made explicit the use of the report in the parser
Diffstat (limited to 'lib/syntax/tree.mli')
-rw-r--r--lib/syntax/tree.mli8
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