diff options
| author | Nadrieril | 2020-02-04 19:04:27 +0000 |
|---|---|---|
| committer | Nadrieril | 2020-02-04 19:05:08 +0000 |
| commit | 5e50ad90b01ef5f589515280668187b722bfcb5f (patch) | |
| tree | 3864cb9b3a107aeef0813e18877e7eb8c1d32dbf /dhall/build.rs | |
| parent | eb9129312edf574948df777acb340189dc147724 (diff) | |
Implement typechecking of toMap
Diffstat (limited to '')
| -rw-r--r-- | dhall/build.rs | 25 |
1 files changed, 0 insertions, 25 deletions
diff --git a/dhall/build.rs b/dhall/build.rs index 9cc07ea..5523ef3 100644 --- a/dhall/build.rs +++ b/dhall/build.rs @@ -313,11 +313,6 @@ fn generate_tests() -> std::io::Result<()> { || path == "unit/RecordProjectionByType" || path == "unit/RecordProjectionByTypeEmpty" || path == "unit/RecordProjectionByTypeJudgmentalEquality" - // TODO: toMap - || path == "unit/ToMap" - || path == "unit/ToMapAnnotated" - || path == "unit/ToMapInferTypeFromRecord" - || path == "simple/toMapEmptyNormalizeAnnotation" // TODO: record completion || path == "simple/completion" || path == "unit/Completion" @@ -334,16 +329,6 @@ fn generate_tests() -> std::io::Result<()> { // TODO: projection by expression || path == "unit/RecordProjectionByTypeFieldTypeMismatch" || path == "unit/RecordProjectionByTypeNotPresent" - // TODO: toMap - || path == "unit/EmptyToMap" - || path == "unit/HeterogenousToMap" - || path == "unit/MistypedToMap1" - || path == "unit/MistypedToMap2" - || path == "unit/MistypedToMap3" - || path == "unit/MistypedToMap4" - || path == "unit/NonRecordToMap" - || path == "unit/ToMapEmptyInvalidAnnotation" - || path == "unit/ToMapWrongKind" // TODO: record completion || path == "unit/CompletionMissingRequiredField" || path == "unit/CompletionWithWrongDefaultType" @@ -364,16 +349,6 @@ fn generate_tests() -> std::io::Result<()> { // TODO: projection by expression || path == "unit/RecordProjectionByTypeFieldTypeMismatch" || path == "unit/RecordProjectionByTypeNotPresent" - // TODO: toMap - || path == "unit/EmptyToMap" - || path == "unit/HeterogenousToMap" - || path == "unit/MistypedToMap1" - || path == "unit/MistypedToMap2" - || path == "unit/MistypedToMap3" - || path == "unit/MistypedToMap4" - || path == "unit/NonRecordToMap" - || path == "unit/ToMapEmptyInvalidAnnotation" - || path == "unit/ToMapWrongKind" // TODO: record completion || path == "unit/CompletionMissingRequiredField" || path == "unit/CompletionWithWrongDefaultType" |