From 51bb1d2da8e5874129d4b5cc5d0c60e23eee9f11 Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Fri, 16 Aug 2019 12:35:34 +0200
Subject: Typecheck before normalizing in tests

---
 dhall/build.rs | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

(limited to 'dhall/build.rs')

diff --git a/dhall/build.rs b/dhall/build.rs
index 2305208..166b036 100644
--- a/dhall/build.rs
+++ b/dhall/build.rs
@@ -213,7 +213,10 @@ fn main() -> std::io::Result<()> {
         "alpha_normalize",
         "alpha-normalization/",
         "AlphaNormalization",
-        |_| false,
+        |path| {
+            // This test doesn't typecheck
+            path == "success/unit/FunctionNestedBindingXXFree"
+        },
     )?;
 
     make_test_module(
-- 
cgit v1.2.3