aboutsummaryrefslogtreecommitdiff
path: root/bin
diff options
context:
space:
mode:
authorChimrod <>2023-09-25 11:37:23 +0200
committerChimrod <>2023-09-25 11:37:23 +0200
commitb65767c276124fff7412ef0112929d3aab16553b (patch)
tree722f15ca0490925561fc26c973ef10ba75df0e70 /bin
parent000d8bcc955e57b8e1278c05763eff5bd97862b8 (diff)
Name clash correction
Diffstat (limited to 'bin')
-rw-r--r--bin/dune2
-rw-r--r--bin/qsp_parser.ml12
2 files changed, 11 insertions, 3 deletions
diff --git a/bin/dune b/bin/dune
index 239c88e..9702e66 100644
--- a/bin/dune
+++ b/bin/dune
@@ -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