From dedc98b0c14262c53e8573d7fe1dcaa370e43fb5 Mon Sep 17 00:00:00 2001 From: Alex Auvolat Date: Fri, 13 Jun 2014 14:17:22 +0200 Subject: Move a lot of things. --- frontend/file_parser.ml | 10 ++++------ 1 file changed, 4 insertions(+), 6 deletions(-) (limited to 'frontend/file_parser.ml') diff --git a/frontend/file_parser.ml b/frontend/file_parser.ml index 672c695..85eb9cd 100644 --- a/frontend/file_parser.ml +++ b/frontend/file_parser.ml @@ -10,10 +10,8 @@ let parse_file (filename : string) : prog = Parser.file Lexer.token lex with | Parser.Error -> - Printf.eprintf "Parse error (invalid syntax) near %s\n" - (string_of_position lex.lex_start_p); - failwith "Parse error" + Util.error (Printf.sprintf "Parse error (invalid syntax) near %s" + (string_of_position lex.lex_start_p)) | Failure "lexing: empty token" -> - Printf.eprintf "Parse error (invalid token) near %s\n" - (string_of_position lex.lex_start_p); - failwith "Parse error" + Util.error (Printf.sprintf "Parse error (invalid token) near %s" + (string_of_position lex.lex_start_p)) -- cgit v1.2.3