diff options
author | Chimrod <> | 2023-09-25 11:37:23 +0200 |
---|---|---|
committer | Chimrod <> | 2023-09-25 11:37:23 +0200 |
commit | b65767c276124fff7412ef0112929d3aab16553b (patch) | |
tree | 722f15ca0490925561fc26c973ef10ba75df0e70 /bin | |
parent | 000d8bcc955e57b8e1278c05763eff5bd97862b8 (diff) |
Name clash correction
Diffstat (limited to 'bin')
-rw-r--r-- | bin/dune | 2 | ||||
-rw-r--r-- | bin/qsp_parser.ml | 12 |
2 files changed, 11 insertions, 3 deletions
@@ -3,7 +3,7 @@ (name qsp_parser) (libraries qsp_syntax - qsp_parser) + qparser) (preprocess (pps ppx_deriving.show 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 |