X-Git-Url: https://git.xandkar.net/?a=blobdiff_plain;f=compiler%2Fsrc%2Flib%2Ftiger%2Ftiger_test.mli;h=58d743c8cabdf0b8f1f751bc1090e66796139b02;hb=e6e82c0866db4eb08f956b2582e5c2ed5399e986;hp=2bcbb3f1d60f4df93628aa4c9490feaf5c241b60;hpb=d3bdde4b6b0b1a8cb41ee4de4fa73cd472ed23a4;p=tiger.ml.git

diff --git a/compiler/src/lib/tiger/tiger_test.mli b/compiler/src/lib/tiger/tiger_test.mli
index 2bcbb3f..58d743c 100644
--- a/compiler/src/lib/tiger/tiger_test.mli
+++ b/compiler/src/lib/tiger/tiger_test.mli
@@ -1,8 +1,10 @@
 type t
 
 val case
-  :  ?out_lexing  : Tiger_parser.token list
-  -> ?out_parsing : Tiger_absyn.t
+  :  ?out_lexing  : Tiger_parser.token list option
+  -> ?out_parsing : Tiger_absyn.t option
+  -> ?is_error_expected_parsing : (Tiger_error.t -> bool) option
+  -> ?is_error_expected_semant : (Tiger_error.t -> bool) option
   -> code         : string
   -> string
   -> t