X-Git-Url: https://git.xandkar.net/?p=tiger.ml.git;a=blobdiff_plain;f=compiler%2Fsrc%2Flib%2Ftiger%2Ftiger_test.mli;h=30527a5328cde060c08b83506e5ce04621c7c596;hp=5cbc445de647edc7a43b4f43732557e222ef4395;hb=38ffcb1fc99ecb7a48097cbcf97b9a3062c8bfa0;hpb=4f2aaee3ef5f70f7769931032fd50af0403c51ae

diff --git a/compiler/src/lib/tiger/tiger_test.mli b/compiler/src/lib/tiger/tiger_test.mli
index 5cbc445..30527a5 100644
--- a/compiler/src/lib/tiger/tiger_test.mli
+++ b/compiler/src/lib/tiger/tiger_test.mli
@@ -1,9 +1,9 @@
 type t
 
 val case
-  :  ?out_lexing  : Tiger_parser.token list
-  -> ?out_parsing : Tiger_absyn.t
-  -> ?is_error_expected_semant : (Tiger_error.t -> bool)
+  :  ?out_lexing  : Tiger_parser.token list option
+  -> ?out_parsing : Tiger_absyn.t option
+  -> ?is_error_expected_semant : (Tiger_error.t -> bool) option
   -> code         : string
   -> string
   -> t