summaryrefslogtreecommitdiff
path: root/dhall/build.rs
diff options
context:
space:
mode:
Diffstat (limited to 'dhall/build.rs')
-rw-r--r--dhall/build.rs8
1 files changed, 8 insertions, 0 deletions
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"
},
)?;