diff options
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/interpreter.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lib/interpreter.ml b/lib/interpreter.ml index 7fc0413..d3b24c9 100644 --- a/lib/interpreter.ml +++ b/lib/interpreter.ml @@ -9,7 +9,7 @@ case of invalid syntax. *) -type error_code = InvalidSyntax | MenhirCode of int +type error_code = UnrecoverableError | InvalidSyntax | MenhirCode of int module Interpreter (MI : MenhirLib.IncrementalEngine.INCREMENTAL_ENGINE) = struct @@ -33,7 +33,7 @@ struct (* The parser is in its initial state. We should not get an error here *) let positions = Sedlexing.lexing_positions lexbuf in - range_message positions InvalidSyntax + range_message positions UnrecoverableError | (lazy (Cons (MI.Element (state, _, start_pos, end_pos), _))) -> range_message (start_pos, end_pos) (MenhirCode (MI.number state)) |