diff options
| author | Chimrod <> | 2025-07-19 11:18:24 +0200 |
|---|---|---|
| committer | Chimrod <> | 2025-08-01 14:12:14 +0200 |
| commit | 3046fb0d0c1ceac2c6a6ca9456e9e05671e0cef9 (patch) | |
| tree | 8ba2700e541a6753499ceac54ced4f1d02a3b625 /bin/args.ml | |
| parent | 406b7b79cd375b071f92ddee9cee14a98dc91281 (diff) | |
Diffstat (limited to 'bin/args.ml')
| -rw-r--r-- | bin/args.ml | 10 |
1 files changed, 7 insertions, 3 deletions
diff --git a/bin/args.ml b/bin/args.ml index 1503d18..e0e1419 100644 --- a/bin/args.ml +++ b/bin/args.ml @@ -29,7 +29,9 @@ let disable_module modules identifier = String.sub identifier ~pos:1 ~len:(String.length identifier - 1) in List.iter modules ~f:(fun t -> - let (module C : Qsp_syntax.S.Analyzer) = Qsp_checks.Check.get_module t in + let (module C : Qsp_syntax.Analyzer.T) = + Qsp_syntax.Identifier.get_module t + in if String.equal C.identifier identifier then C.active := false) let enable_module modules identifier = @@ -37,7 +39,9 @@ let enable_module modules identifier = String.sub identifier ~pos:1 ~len:(String.length identifier - 1) in List.iter modules ~f:(fun t -> - let (module C : Qsp_syntax.S.Analyzer) = Qsp_checks.Check.get_module t in + let (module C : Qsp_syntax.Analyzer.T) = + Qsp_syntax.Identifier.get_module t + in if String.equal C.identifier identifier then C.active := true) let speclist printer = @@ -74,7 +78,7 @@ let speclist printer = common_arguments @ windows_arguments let parse : - modules:Qsp_syntax.Catalog.ex list -> + modules:Qsp_syntax.Identifier.t list -> list_tests:(Format.formatter -> unit) -> string list * t = fun ~modules ~list_tests -> |