diff options
Diffstat (limited to 'bin/qsp_parser.ml')
| -rw-r--r-- | bin/qsp_parser.ml | 11 |
1 files changed, 10 insertions, 1 deletions
diff --git a/bin/qsp_parser.ml b/bin/qsp_parser.ml index 8f4cf26..93f44f4 100644 --- a/bin/qsp_parser.ml +++ b/bin/qsp_parser.ml @@ -16,13 +16,22 @@ let filter_report : Args.filters -> Report.t list -> Report.t -> Report.t list = type ctx = { error_nb : int; warn_nb : int; debug_nb : int } +(* + List all the controls to apply + *) +let _, _, _, e1 = Qsp_syntax.Check.build (module Qsp_syntax.Type_of) + +module Check = Qsp_syntax.Check.Make (struct + let t = [| e1 |] +end) + (** Read the source file until getting a report (the whole location has been read properly), or until the first syntax error. *) 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 + Qparser.Analyzer.parse (module Check) lexbuf |> Result.map (fun (_, f) -> List.fold_left f ~init:[] ~f:(filter_report filters)) in |