From 8719a9332eaab35ef671b954def018bc5dcddcf9 Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Thu, 25 Jun 2020 16:29:46 +0100
Subject: fix: exclude prelude test for now

It's broken because cached imports get alpha-normalized. Those tests
should be run with a dummy cache.
---
 dhall/tests/spec.rs | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'dhall/tests/spec.rs')

diff --git a/dhall/tests/spec.rs b/dhall/tests/spec.rs
index d7f1564..79747a4 100644
--- a/dhall/tests/spec.rs
+++ b/dhall/tests/spec.rs
@@ -541,7 +541,9 @@ fn define_features() -> Vec<TestFeature> {
             module_name: "type_inference_success",
             directory: "type-inference/success/",
             variant: SpecTestKind::TypeInferenceSuccess,
-            too_slow_path: Rc::new(|path: &str| path == "prelude"),
+            // TODO: this fails because of caching shenanigans
+            // too_slow_path: Rc::new(|path: &str| path == "prelude"),
+            exclude_path: Rc::new(|path: &str| path == "prelude"),
             ..default_feature.clone()
         },
         TestFeature {
-- 
cgit v1.2.3