diff options
Diffstat (limited to 'bin')
| -rw-r--r-- | bin/args.ml | 2 | ||||
| -rw-r--r-- | bin/args.mli | 2 | ||||
| -rw-r--r-- | bin/qsp_parser.ml | 19 |
3 files changed, 11 insertions, 12 deletions
diff --git a/bin/args.ml b/bin/args.ml index b124575..1503d18 100644 --- a/bin/args.ml +++ b/bin/args.ml @@ -74,7 +74,7 @@ let speclist printer = common_arguments @ windows_arguments let parse : - modules:Qsp_checks.Check.t list -> + modules:Qsp_syntax.Catalog.ex list -> list_tests:(Format.formatter -> unit) -> string list * t = fun ~modules ~list_tests -> diff --git a/bin/args.mli b/bin/args.mli index 0041b59..a98b258 100644 --- a/bin/args.mli +++ b/bin/args.mli @@ -4,6 +4,6 @@ type t = { reset_line : bool; filters : filters } (** All the arguments given from the command line *) val parse : - modules:Qsp_checks.Check.t list -> + modules:Qsp_syntax.Catalog.ex list -> list_tests:(Format.formatter -> unit) -> string list * t diff --git a/bin/qsp_parser.ml b/bin/qsp_parser.ml index cdd509c..a8ee457 100644 --- a/bin/qsp_parser.ml +++ b/bin/qsp_parser.ml @@ -19,12 +19,12 @@ type ctx = { error_nb : int; warn_nb : int; debug_nb : int; fatal_error : bool } *) let available_checks = [ - snd @@ Qsp_checks.Check.build (module Qsp_checks.Type_of); - snd @@ Qsp_checks.Check.build (module Qsp_checks.Dead_end); - snd @@ Qsp_checks.Check.build (module Qsp_checks.Nested_strings); - snd @@ Qsp_checks.Check.build (module Qsp_checks.Locations); - snd @@ Qsp_checks.Check.build (module Qsp_checks.Dup_test); - snd @@ Qsp_checks.Check.build (module Qsp_checks.Write_only); + snd @@ Qsp_syntax.Catalog.build (module Qsp_checks.Type_of); + snd @@ Qsp_syntax.Catalog.build (module Qsp_checks.Dead_end); + snd @@ Qsp_syntax.Catalog.build (module Qsp_checks.Nested_strings); + snd @@ Qsp_syntax.Catalog.build (module Qsp_checks.Locations); + snd @@ Qsp_syntax.Catalog.build (module Qsp_checks.Dup_test); + snd @@ Qsp_syntax.Catalog.build (module Qsp_checks.Write_only); ] let pp_module formatter (module A : Qsp_syntax.S.Analyzer) = @@ -70,8 +70,8 @@ let pp_modules formatter = (** Get all the tests to apply. - The expression is declared lazy in order to be sure to apply the filters - from the command line before. *) + The expression is declared lazy in order to be sure to apply the filters + from the command line before. *) let checkers : (module Qsp_syntax.S.Analyzer) Lazy.t = lazy (let module Check = Qsp_checks.Check.Make (struct @@ -89,8 +89,7 @@ let checkers : (module Qsp_syntax.S.Analyzer) Lazy.t = read properly), or until the first syntax error. The function update the context (list of errors) passed in arguments. *) -let parse_location : - type context. +let parse_location : type context. ctx:ctx ref -> (module Qsp_syntax.S.Analyzer with type context = context) -> context -> |