summaryrefslogtreecommitdiff
path: root/dhall/tests
diff options
context:
space:
mode:
authorNadrieril2020-06-25 16:29:46 +0100
committerNadrieril2020-06-25 16:29:46 +0100
commit8719a9332eaab35ef671b954def018bc5dcddcf9 (patch)
treee6ccfbb242e2b25ac0d9e7a1097077a5ade28f82 /dhall/tests
parent5dda920cc988bbd332353eea5f310f2798d4ff8c (diff)
fix: exclude prelude test for now
It's broken because cached imports get alpha-normalized. Those tests should be run with a dummy cache.
Diffstat (limited to 'dhall/tests')
-rw-r--r--dhall/tests/spec.rs4
1 files changed, 3 insertions, 1 deletions
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 {