diff options
-rw-r--r-- | bin/dune | 2 | ||||
-rw-r--r-- | bin/qsp_parser.ml | 12 | ||||
-rw-r--r-- | lib/dune | 2 | ||||
-rw-r--r-- | test/dune | 2 | ||||
-rw-r--r-- | test/qsp_parser_test.ml | 4 |
5 files changed, 15 insertions, 7 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 @@ -1,5 +1,5 @@ (library - (name qsp_parser) + (name qparser) (libraries qsp_syntax menhirLib) @@ -2,7 +2,7 @@ (name qsp_parser_test) (libraries alcotest - qsp_parser + qparser qsp_syntax fmt ) diff --git a/test/qsp_parser_test.ml b/test/qsp_parser_test.ml index 505f905..b833fe5 100644 --- a/test/qsp_parser_test.ml +++ b/test/qsp_parser_test.ml @@ -1,4 +1,4 @@ -module Parser = Qsp_parser.Parser.Make (Qsp_syntax.Tree) +module Parser = Qparser.Parser.Make (Qsp_syntax.Tree) module Tree = Qsp_syntax.Tree module Ast = Qsp_syntax.Tree.Ast module T = Ast @@ -10,7 +10,7 @@ type 'a location = 'a * 'a Ast.statement list [@@deriving eq, show] let parse : string -> T.pos location = fun content -> let lexing = Lexing.from_string content in - Parser.main Qsp_parser.Lexer.token lexing + Parser.main Qparser.Lexer.token lexing let location : T.pos location Alcotest.testable = let equal = equal_location (fun _ _ -> true) in |