diff options
| author | Basile Henry | 2020-10-17 13:35:29 +0200 |
|---|---|---|
| committer | Basile Henry | 2020-10-25 15:50:02 +0000 |
| commit | b657ae8db335d2c029b4c1fa10eb765b579d5d80 (patch) | |
| tree | 4fea2025126d782f8abc90c1134fa92a8c4aca00 /dhall | |
| parent | 2a2fd640ae57aa4149d28d84e9834bbd7c71e15b (diff) | |
Disable With related tests
Diffstat (limited to 'dhall')
| -rw-r--r-- | dhall/tests/spec.rs | 11 |
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 { |