summaryrefslogtreecommitdiff
path: root/dhall/build.rs
diff options
context:
space:
mode:
Diffstat (limited to 'dhall/build.rs')
-rw-r--r--dhall/build.rs5
1 files changed, 3 insertions, 2 deletions
diff --git a/dhall/build.rs b/dhall/build.rs
index d28239d..46bb3a4 100644
--- a/dhall/build.rs
+++ b/dhall/build.rs
@@ -111,10 +111,11 @@ fn main() -> std::io::Result<()> {
path.starts_with("failure/")
// Too slow in debug mode
|| path == "success/largeExpression"
- // Fails binary encoding
+ // Too much of a pain to implement; shouldn't make a difference
+ // since lets disappear on normalization.
|| path == "success/multilet"
+ // See https://github.com/pyfisch/cbor/issues/109
|| path == "success/double"
- || path == "success/unit/import/parenthesizeUsing"
},
)?;