X-Git-Url: https://git.xandkar.net/?a=blobdiff_plain;f=compiler%2Fsrc%2Flib%2Ftiger%2Ftiger_test_cases_book.ml;h=215fa62036bc31081d13aeef0693d5dfae0f32af;hb=35dccbd3999a8c3bb1dc9e96e21b69a39f44fc6f;hp=7502b47a235d55ba7eef3e9d9e97f95286728d56;hpb=1d155dc1b6399ec69573fc8043f2ec2a96490b50;p=tiger.ml.git

diff --git a/compiler/src/lib/tiger/tiger_test_cases_book.ml b/compiler/src/lib/tiger/tiger_test_cases_book.ml
index 7502b47..215fa62 100644
--- a/compiler/src/lib/tiger/tiger_test_cases_book.ml
+++ b/compiler/src/lib/tiger/tiger_test_cases_book.ml
@@ -91,16 +91,20 @@ let is_error_expected_parsing_of_filename =
     (* TODO: Fill-in other expected cases *)
     None
 
-(* TODO: test18.tig - error : definition of recursive functions is interrupted*)
 (* TODO: test21.tig - error : procedure returns value  and procedure is used in arexpr *)
 
 let is_error_expected_semant_of_filename =
   let module E = Tiger_error in
   function
+  | "test16.tig" ->
+      Some Error.is_cycle_in_type_dec
+      (* TODO: Be more specific - between which decs? *)
   | "test17.tig"
   | "test33.tig" ->
       Some Error.is_unknown_type
       (* TODO: Be more specific - which type? *)
+  | "test18.tig"
+  | "test19.tig"
   | "test20.tig" ->
       Some Error.is_unknown_id
       (* TODO: Be more specific - the unknown id is "i" *)
@@ -113,10 +117,15 @@ let is_error_expected_semant_of_filename =
   | "test25.tig" ->
       Some Error.is_not_a_record
       (* TODO: Be more specific *)
+  | "test35.tig"
+  | "test36.tig" ->
+      Some Error.is_wrong_number_of_args
+      (* TODO: Be more specific - how many expected, how many given? *)
   | "test09.tig"
   | "test11.tig"
   | "test13.tig"
   | "test14.tig"
+  | "test21.tig"
   | "test23.tig"
   | "test26.tig"
   | "test28.tig"
@@ -126,7 +135,7 @@ let is_error_expected_semant_of_filename =
   | "test34.tig"
   | "test43.tig" ->
       Some Error.is_wrong_type
-      (* TODO: Be more specific - what expected, what given? *)
+      (* TODO: Be more specific - what expected, what given? Where? *)
   | _ ->
     (* TODO: Fill-in other expected cases *)
     None