From f85abcb996b8d189a646e6aeea8aa4ce068f7570 Mon Sep 17 00:00:00 2001 From: Chimrod <> Date: Sat, 14 Oct 2023 15:32:13 +0200 Subject: Used the type S.repr in Syntax/Location.t --- bin/qsp_parser.ml | 8 +++----- 1 file changed, 3 insertions(+), 5 deletions(-) (limited to 'bin/qsp_parser.ml') 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 -> ( -- cgit v1.2.3