From fd02a44392304986a756e7d06f8142538b386529 Mon Sep 17 00:00:00 2001 From: Chimrod <> Date: Thu, 2 Nov 2023 17:35:49 +0100 Subject: Added a new checkers for unecessary use of strig containing an escaped expression --- bin/qsp_parser.ml | 10 ++++++---- 1 file changed, 6 insertions(+), 4 deletions(-) (limited to 'bin') 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 -- cgit v1.2.3