diff options
Diffstat (limited to '')
-rw-r--r-- | dhall/build.rs | 5 |
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" }, )?; |