diff options
Diffstat (limited to 'bin/qsp_parser.ml')
| -rw-r--r-- | bin/qsp_parser.ml | 12 |
1 files changed, 10 insertions, 2 deletions
diff --git a/bin/qsp_parser.ml b/bin/qsp_parser.ml index 0026b73..af12abe 100644 --- a/bin/qsp_parser.ml +++ b/bin/qsp_parser.ml @@ -44,7 +44,7 @@ let () = let ic = Stdlib.open_in file_name in let lexer = Lexing.from_channel ~with_positions:true ic in - let result = Qsp_parser.Analyzer.parse (module Qsp_syntax.Type_of) lexer in + let result = Qparser.Analyzer.parse (module Qsp_syntax.Type_of) lexer in match result with | Ok f -> ( let report = List.fold_left (f []) ~init:[] ~f:(filter_report filters) in @@ -55,8 +55,16 @@ let () = | _ -> Format.fprintf Format.std_formatter "Location %s@;%a@." file_name pp_result report; + let () = + match Sys.os_type with "Win32" -> ignore @@ read_line () | _ -> () + in exit 1) | Error e -> Format.fprintf Format.std_formatter "\nError in location %s\n%a" file_name - Qsp_parser.Analyzer.format_error e; + Qparser.Analyzer.format_error e; + + let () = + match Sys.os_type with "Win32" -> ignore @@ read_line () | _ -> () + in + exit 1 |