aboutsummaryrefslogtreecommitdiff
path: root/bin
diff options
context:
space:
mode:
authorChimrod <>2023-11-02 17:35:49 +0100
committerChimrod <>2023-11-02 19:39:33 +0100
commitfd02a44392304986a756e7d06f8142538b386529 (patch)
tree87fe05ab02eecee8b2c8cc89ed5fa2c8b83d9771 /bin
parent05f74bee05c0c56da593a5e89069711d5993e3b1 (diff)
Added a new checkers for unecessary use of strig containing an escaped expression
Diffstat (limited to 'bin')
-rw-r--r--bin/qsp_parser.ml10
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