aboutsummaryrefslogtreecommitdiff
path: root/bin/qsp_parser.ml
diff options
context:
space:
mode:
authorChimrod <>2023-10-14 15:32:13 +0200
committerChimrod <>2023-10-18 09:49:47 +0200
commitf85abcb996b8d189a646e6aeea8aa4ce068f7570 (patch)
tree658bb3448777435b569a5b0871468317611bf47c /bin/qsp_parser.ml
parentf135a5fcb6c9827d07025a143b190cbbf8eddc15 (diff)
Used the type S.repr in Syntax/Location.t
Diffstat (limited to 'bin/qsp_parser.ml')
-rw-r--r--bin/qsp_parser.ml8
1 files changed, 3 insertions, 5 deletions
diff --git a/bin/qsp_parser.ml b/bin/qsp_parser.ml
index fc40971..8f4cf26 100644
--- a/bin/qsp_parser.ml
+++ b/bin/qsp_parser.ml
@@ -21,12 +21,10 @@ type ctx = { error_nb : int; warn_nb : int; debug_nb : int }
*)
let parse_location : ctx:ctx -> Qparser.Lexbuf.t -> Args.filters -> ctx =
fun ~ctx lexbuf filters ->
- let result = Qparser.Analyzer.parse (module Qsp_syntax.Type_of) lexbuf in
-
let result =
- Result.map
- (fun f -> List.fold_left (f []) ~init:[] ~f:(filter_report filters))
- result
+ Qparser.Analyzer.parse (module Qsp_syntax.Type_of) lexbuf
+ |> Result.map (fun (_, f) ->
+ List.fold_left f ~init:[] ~f:(filter_report filters))
in
match result with
| Ok report -> (