From cc03ada4e713f145f2eb1bbf0f131a4c5746cf74 Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Sat, 3 Aug 2019 22:55:51 +0200
Subject: Inline headers

---
 dhall/build.rs | 8 ++++++++
 1 file changed, 8 insertions(+)

(limited to 'dhall/build.rs')

diff --git a/dhall/build.rs b/dhall/build.rs
index 3f09d47..5a99def 100644
--- a/dhall/build.rs
+++ b/dhall/build.rs
@@ -87,6 +87,9 @@ fn main() -> std::io::Result<()> {
         |path| {
             // Too slow in debug mode
             path == "success/largeExpression"
+            // TODO: Inline headers are not implemented
+            || path == "success/unit/import/parenthesizeUsing"
+            || path == "success/unit/import/inlineUsing"
         },
     )?;
 
@@ -100,6 +103,8 @@ fn main() -> std::io::Result<()> {
             path.starts_with("failure/")
             // Too slow in debug mode
             || path == "success/largeExpression"
+            // TODO: Inline headers are not implemented
+            || path == "success/unit/import/inlineUsing"
         },
     )?;
 
@@ -118,6 +123,9 @@ 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
+            || path == "success/unit/import/parenthesizeUsing"
+            || path == "success/unit/import/inlineUsing"
         },
     )?;
 
-- 
cgit v1.2.3