From 54d7e61ad40682ee24e36288980ee4164ea87c34 Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Sun, 22 Dec 2019 18:38:05 +0000
Subject: Update dhall-lang submodule

---
 dhall/build.rs | 7 +------
 1 file changed, 1 insertion(+), 6 deletions(-)

(limited to 'dhall/build.rs')

diff --git a/dhall/build.rs b/dhall/build.rs
index 3e7c023..e06f9b3 100644
--- a/dhall/build.rs
+++ b/dhall/build.rs
@@ -224,6 +224,7 @@ fn generate_tests() -> std::io::Result<()> {
                     || path == "hashMismatch"
                     || path == "missing"
                     || path == "referentiallyInsane"
+                    || path == "customHeadersUsingBoundVariable"
             }),
             input_type: FileType::Text,
             output_type: None,
@@ -308,9 +309,6 @@ fn generate_tests() -> std::io::Result<()> {
             variant: "TypeInferenceFailure",
             path_filter: Box::new(|path: &str| {
                 false
-                    // TODO: Enable imports in typecheck tests
-                    || path == "importBoundary"
-                    || path == "customHeadersUsingBoundVariable"
                     // TODO: projection by expression
                     || path == "unit/RecordProjectionByTypeFieldTypeMismatch"
                     || path == "unit/RecordProjectionByTypeNotPresent"
@@ -334,9 +332,6 @@ fn generate_tests() -> std::io::Result<()> {
             variant: "TypeError",
             path_filter: Box::new(|path: &str| {
                 false
-                    // TODO: Enable imports in typecheck tests
-                    || path == "importBoundary"
-                    || path == "customHeadersUsingBoundVariable"
                     // TODO: projection by expression
                     || path == "unit/RecordProjectionByTypeFieldTypeMismatch"
                     || path == "unit/RecordProjectionByTypeNotPresent"
-- 
cgit v1.2.3