aboutsummaryrefslogtreecommitdiff
path: root/lib/interpreter.ml
diff options
context:
space:
mode:
Diffstat (limited to 'lib/interpreter.ml')
-rw-r--r--lib/interpreter.ml16
1 files changed, 9 insertions, 7 deletions
diff --git a/lib/interpreter.ml b/lib/interpreter.ml
index 21c1430..346ceb5 100644
--- a/lib/interpreter.ml
+++ b/lib/interpreter.ml
@@ -11,20 +11,22 @@
type error_code = InvalidSyntax | MenhirCode of int
-type error = {
- code : error_code;
- start_pos : Lexing.position;
- end_pos : Lexing.position;
-}
-
module Interpreter (MI : MenhirLib.IncrementalEngine.INCREMENTAL_ENGINE) =
struct
+ type error = {
+ code : error_code;
+ start_pos : Lexing.position;
+ end_pos : Lexing.position;
+
+ }
+
module E = MenhirLib.ErrorReports
module L = MenhirLib.LexerUtil
type step = MI.token * Lexing.position * Lexing.position
- let range_message (start_pos, end_pos) code = { code; start_pos; end_pos }
+ let range_message (start_pos, end_pos) : error_code -> error =
+ fun code -> { code; start_pos; end_pos }
let get_parse_error lexbuf env : error =
match MI.stack env with