diff options
Diffstat (limited to 'driver/errors.ml')
| -rw-r--r-- | driver/errors.ml | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/driver/errors.ml b/driver/errors.ml index c93f6f3eb..6b032f782 100644 --- a/driver/errors.ml +++ b/driver/errors.ml @@ -24,9 +24,8 @@ let report_error exn = Lexer.Error(err, start, stop) -> Location.print {loc_start = start; loc_end = stop}; Lexer.report_error err - | Parse.Error(start, stop) -> - Location.print {loc_start = start; loc_end = stop}; - print_string "Syntax error" + | Syntaxerr.Error err -> + Syntaxerr.report_error err | Env.Error err -> Env.report_error err | Typecore.Error(loc, err) -> |