From c2b4a2d9b40efbe4f6cb6fd04f6cb90639f4985f Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Sun, 12 May 2019 18:44:28 +0200
Subject: Implement binary encoding

Closes #39
---
 dhall/build.rs | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'dhall/build.rs')

diff --git a/dhall/build.rs b/dhall/build.rs
index aa8cc92..ef25d18 100644
--- a/dhall/build.rs
+++ b/dhall/build.rs
@@ -85,6 +85,10 @@ fn main() -> std::io::Result<()> {
         |path| {
             // Too slow in debug mode
             path == "largeExpression"
+            // Fails binary encoding
+            || path == "multilet"
+            || path == "double"
+            || path == "unit/import/parenthesizeUsing"
         },
     )?;
 
-- 
cgit v1.2.3