From b65767c276124fff7412ef0112929d3aab16553b Mon Sep 17 00:00:00 2001
From: Chimrod <>
Date: Mon, 25 Sep 2023 11:37:23 +0200
Subject: Name clash correction

---
 bin/dune          |  2 +-
 bin/qsp_parser.ml | 12 ++++++++++--
 2 files changed, 11 insertions(+), 3 deletions(-)

(limited to 'bin')

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
-- 
cgit v1.2.3