diff options
| author | Chimrod <> | 2023-11-02 17:35:49 +0100 |
|---|---|---|
| committer | Chimrod <> | 2023-11-02 19:39:33 +0100 |
| commit | fd02a44392304986a756e7d06f8142538b386529 (patch) | |
| tree | 87fe05ab02eecee8b2c8cc89ed5fa2c8b83d9771 /bin/qsp_parser.ml | |
| parent | 05f74bee05c0c56da593a5e89069711d5993e3b1 (diff) | |
Added a new checkers for unecessary use of strig containing an escaped expression
Diffstat (limited to 'bin/qsp_parser.ml')
| -rw-r--r-- | bin/qsp_parser.ml | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/bin/qsp_parser.ml b/bin/qsp_parser.ml index cf64fed..397b5a9 100644 --- a/bin/qsp_parser.ml +++ b/bin/qsp_parser.ml @@ -17,11 +17,13 @@ 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) -let _, e2 = Qsp_syntax.Check.build (module Qsp_syntax.Dead_end) - module Check = Qsp_syntax.Check.Make (struct - let t = [| e1; e2 |] + let t = + [| + snd @@ Qsp_syntax.Check.build (module Qsp_syntax.Type_of); + snd @@ Qsp_syntax.Check.build (module Qsp_syntax.Dead_end); + snd @@ Qsp_syntax.Check.build (module Qsp_syntax.Nested_strings); + |] end) (** Read the source file until getting a report (the whole location has been |