diff options
author | Nadrieril | 2020-06-25 16:29:46 +0100 |
---|---|---|
committer | Nadrieril | 2020-06-25 16:29:46 +0100 |
commit | 8719a9332eaab35ef671b954def018bc5dcddcf9 (patch) | |
tree | e6ccfbb242e2b25ac0d9e7a1097077a5ade28f82 | |
parent | 5dda920cc988bbd332353eea5f310f2798d4ff8c (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.
-rw-r--r-- | dhall/tests/spec.rs | 4 |
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 { |