diff options
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 |