From f20970a24db223f171eac2a3752f840dbf45d72b Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Tue, 6 Aug 2019 21:15:20 +0200
Subject: Auto-generate typechecking tests list

---
 dhall/build.rs | 36 +++++++++++++++++++++++++++++++++---
 1 file changed, 33 insertions(+), 3 deletions(-)

(limited to 'dhall/build.rs')

diff --git a/dhall/build.rs b/dhall/build.rs
index 2fa63c6..c78f8f9 100644
--- a/dhall/build.rs
+++ b/dhall/build.rs
@@ -87,7 +87,7 @@ fn main() -> std::io::Result<()> {
         |path| {
             // Too slow in debug mode
             path == "success/largeExpression"
-            // TODO: Inline headers are not implemented
+            // TODO: Inline headers
             || path == "success/unit/import/parenthesizeUsing"
             || path == "success/unit/import/inlineUsing"
             // TODO: projection by expression
@@ -114,7 +114,7 @@ fn main() -> std::io::Result<()> {
             path.starts_with("failure/")
             // Too slow in debug mode
             || path == "success/largeExpression"
-            // TODO: Inline headers are not implemented
+            // TODO: Inline headers
             || path == "success/unit/import/inlineUsing"
             // TODO: projection by expression
             || path == "success/recordProjectionByExpression"
@@ -143,7 +143,7 @@ fn main() -> std::io::Result<()> {
             || path == "success/multilet"
             // See https://github.com/pyfisch/cbor/issues/109
             || path == "success/double"
-            // TODO: Inline headers are not implemented
+            // TODO: Inline headers
             || path == "success/unit/import/inlineUsing"
             // TODO: projection by expression
             || path == "success/recordProjectionByExpression"
@@ -184,5 +184,35 @@ fn main() -> std::io::Result<()> {
         |_| false,
     )?;
 
+    make_test_module(
+        &mut file,
+        "typecheck",
+        &tests_dir.join("typecheck/"),
+        "Typecheck",
+        |path| {
+            false
+            || path == "failure/importBoundary"
+            // TODO: Inline headers
+            || path == "failure/customHeadersUsingBoundVariable"
+            // TODO: projection by expression
+            || path == "failure/unit/RecordProjectionByTypeFieldTypeMismatch"
+            || path == "failure/unit/RecordProjectionByTypeNotPresent"
+        },
+    )?;
+
+    make_test_module(
+        &mut file,
+        "type_inference",
+        &tests_dir.join("type-inference/"),
+        "TypeInference",
+        |path| {
+            false
+            // TODO: projection by expression
+            || path == "success/unit/RecordProjectionByType"
+            || path == "success/unit/RecordProjectionByTypeEmpty"
+            || path == "success/unit/RecordProjectionByTypeJudgmentalEquality"
+        },
+    )?;
+
     Ok(())
 }
-- 
cgit v1.2.3