From: Siraaj Khandkar <siraaj@khandkar.net>
Date: Mon, 17 Sep 2018 11:00:13 +0000 (-0400)
Subject: Add more expected errors in book tests
X-Git-Url: https://git.xandkar.net/?a=commitdiff_plain;h=80c3c410b1bdc70e7c13a76c77717c509353bb96;p=tiger.ml.git

Add more expected errors in book tests
---

diff --git a/compiler/src/lib/tiger/tiger_test_cases_book.ml b/compiler/src/lib/tiger/tiger_test_cases_book.ml
index 289d747..92ad429 100644
--- a/compiler/src/lib/tiger/tiger_test_cases_book.ml
+++ b/compiler/src/lib/tiger/tiger_test_cases_book.ml
@@ -99,7 +99,13 @@ let is_error_expected_parsing_of_filename =
 let is_error_expected_semant_of_filename =
   let module E = Tiger_error in
   function
+  | "test17.tig" ->
+      Some Error.is_unknown_type
+      (* TODO: Be more specific - which type? *)
   | "test09.tig"
+  | "test11.tig"
+  | "test13.tig"
+  | "test14.tig"
   | "test23.tig"
   | "test26.tig"
   | "test28.tig"