diff options
Diffstat (limited to '')
| -rw-r--r-- | dhall/tests/parser/success/builtinsB.txt | 2 | ||||
| -rw-r--r-- | dhall/tests/spec.rs | 11 |
2 files changed, 11 insertions, 2 deletions
diff --git a/dhall/tests/parser/success/builtinsB.txt b/dhall/tests/parser/success/builtinsB.txt index 1005949..3d3e292 100644 --- a/dhall/tests/parser/success/builtinsB.txt +++ b/dhall/tests/parser/success/builtinsB.txt @@ -1 +1 @@ -[Natural/fold, Natural/build, Natural/isZero, Natural/even, Natural/odd, Natural/toInteger, Natural/show, Integer/toDouble, Integer/show, Integer/negate, Integer/clamp, Natural/subtract, Double/show, List/build, List/fold, List/length, List/head, List/last, List/indexed, List/reverse, Text/show, Bool, True, False, Optional, None, Natural, Integer, Double, Text, List, Type, Kind, Sort] +[Natural/fold, Natural/build, Natural/isZero, Natural/even, Natural/odd, Natural/toInteger, Natural/show, Integer/toDouble, Integer/show, Integer/negate, Integer/clamp, Natural/subtract, Double/show, List/build, List/fold, List/length, List/head, List/last, List/indexed, List/reverse, Text/show, Text/replace, Bool, True, False, Optional, None, Natural, Integer, Double, Text, List, Type, Kind, Sort] 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 { |