Disable With related tests

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 {