diff options
| author | Nadrieril | 2020-11-02 23:00:00 +0000 |
|---|---|---|
| committer | GitHub | 2020-11-02 23:00:00 +0000 |
| commit | 6e4ad109e7b42eda68053c898dc7aa44199319bf (patch) | |
| tree | 30c37039b161e7ce913e5fb41ff4a30bc6d7e622 /dhall/tests | |
| parent | 2839bfe23b7a0916e9e625a4d62835c39d8693ba (diff) | |
| parent | 527b05b66d84c6acaef904f7143a87a1eff67858 (diff) | |
Merge pull request #193 from basile-henry/with-no-desugar
Diffstat (limited to 'dhall/tests')
| -rw-r--r-- | dhall/tests/spec.rs | 11 | ||||
| -rw-r--r-- | dhall/tests/type-inference/failure/unit/WithInvalidOverrideA.txt | 4 | ||||
| -rw-r--r-- | dhall/tests/type-inference/failure/unit/WithNotRecord.txt | 4 |
3 files changed, 5 insertions, 14 deletions
diff --git a/dhall/tests/spec.rs b/dhall/tests/spec.rs index 36cbd81..357181a 100644 --- a/dhall/tests/spec.rs +++ b/dhall/tests/spec.rs @@ -521,10 +521,6 @@ 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() }, @@ -544,12 +540,7 @@ 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| { - false - || path == "prelude" - // With builtin not implemented yet - || path == "unit/WithCreateIntermediateRecords" - }), + exclude_path: Rc::new(|path: &str| path == "prelude"), ..default_feature.clone() }, TestFeature { diff --git a/dhall/tests/type-inference/failure/unit/WithInvalidOverrideA.txt b/dhall/tests/type-inference/failure/unit/WithInvalidOverrideA.txt index c34175f..c2af394 100644 --- a/dhall/tests/type-inference/failure/unit/WithInvalidOverrideA.txt +++ b/dhall/tests/type-inference/failure/unit/WithInvalidOverrideA.txt @@ -1,7 +1,7 @@ -Type error: error: MustCombineRecord +Type error: error: WithMustBeRecord --> <current file>:1:1 | ... 6 | { a = 1 } with a.b = 2 - | ^^^^^^^^^^^^^^^^^^^^^^ MustCombineRecord + | ^^^^^^^^^^^^^^^^^^^^^^ WithMustBeRecord | diff --git a/dhall/tests/type-inference/failure/unit/WithNotRecord.txt b/dhall/tests/type-inference/failure/unit/WithNotRecord.txt index 8574e48..cd76485 100644 --- a/dhall/tests/type-inference/failure/unit/WithNotRecord.txt +++ b/dhall/tests/type-inference/failure/unit/WithNotRecord.txt @@ -1,6 +1,6 @@ -Type error: error: MustCombineRecord +Type error: error: WithMustBeRecord --> <current file>:1:1 | 1 | 5 with a = 10 - | ^^^^^^^^^^^^^ MustCombineRecord + | ^^^^^^^^^^^^^ WithMustBeRecord | |