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, 4 insertions, 1 deletions
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(