From a88cdfa4a674c251cfdac21043ca1d87fa28824c Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Sun, 12 May 2019 20:05:30 +0200
Subject: Finish implementing binary encoding

---
 dhall/build.rs | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

(limited to 'dhall/build.rs')

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"
         },
     )?;
 
-- 
cgit v1.2.3