summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorBasile Henry2020-10-17 13:35:29 +0200
committerBasile Henry2020-10-25 15:50:02 +0000
commitb657ae8db335d2c029b4c1fa10eb765b579d5d80 (patch)
tree4fea2025126d782f8abc90c1134fa92a8c4aca00
parent2a2fd640ae57aa4149d28d84e9834bbd7c71e15b (diff)
Disable With related tests
-rw-r--r--dhall/tests/spec.rs11
1 files changed, 10 insertions, 1 deletions
diff --git a/dhall/tests/spec.rs b/dhall/tests/spec.rs
index 9572d52..8d67892 100644
--- a/dhall/tests/spec.rs
+++ b/dhall/tests/spec.rs
@@ -519,6 +519,10 @@ fn define_features() -> Vec<TestFeature> {
|| path == "simple/integerToDouble"
// TODO: fix Double/show
|| path == "prelude/JSON/number/1"
+ // With builtin not implemented yet
+ || path == "unit/WithCreateIntermediateRecords"
+ || path == "unit/WithDesugar"
+ || path == "unit/WithPartiallyAbstract"
}),
..default_feature.clone()
},
@@ -538,7 +542,12 @@ fn define_features() -> Vec<TestFeature> {
variant: SpecTestKind::TypeInferenceSuccess,
// TODO: this fails because of caching shenanigans
// too_slow_path: Rc::new(|path: &str| path == "prelude"),
- exclude_path: Rc::new(|path: &str| path == "prelude"),
+ exclude_path: Rc::new(|path: &str| {
+ false
+ || path == "prelude"
+ // With builtin not implemented yet
+ || path == "unit/WithCreateIntermediateRecords"
+ }),
..default_feature.clone()
},
TestFeature {