From 5e50ad90b01ef5f589515280668187b722bfcb5f Mon Sep 17 00:00:00 2001 From: Nadrieril Date: Tue, 4 Feb 2020 19:04:27 +0000 Subject: Implement typechecking of toMap --- dhall/build.rs | 25 ------------------------- 1 file changed, 25 deletions(-) (limited to 'dhall/build.rs') 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" -- cgit v1.2.3 From 7ff5974052e3e18109acbe6e4f0588698d6129ba Mon Sep 17 00:00:00 2001 From: Nadrieril Date: Wed, 5 Feb 2020 17:52:27 +0000 Subject: Typecheck projection by type --- dhall/build.rs | 10 ---------- 1 file changed, 10 deletions(-) (limited to 'dhall/build.rs') diff --git a/dhall/build.rs b/dhall/build.rs index 5523ef3..36acc02 100644 --- a/dhall/build.rs +++ b/dhall/build.rs @@ -309,10 +309,6 @@ fn generate_tests() -> std::io::Result<()> { false // Too slow || path == "prelude" - // TODO: projection by expression - || path == "unit/RecordProjectionByType" - || path == "unit/RecordProjectionByTypeEmpty" - || path == "unit/RecordProjectionByTypeJudgmentalEquality" // TODO: record completion || path == "simple/completion" || path == "unit/Completion" @@ -326,9 +322,6 @@ fn generate_tests() -> std::io::Result<()> { variant: "TypeInferenceFailure", path_filter: Box::new(|path: &str| { false - // TODO: projection by expression - || path == "unit/RecordProjectionByTypeFieldTypeMismatch" - || path == "unit/RecordProjectionByTypeNotPresent" // TODO: record completion || path == "unit/CompletionMissingRequiredField" || path == "unit/CompletionWithWrongDefaultType" @@ -346,9 +339,6 @@ fn generate_tests() -> std::io::Result<()> { variant: "TypeError", path_filter: Box::new(|path: &str| { false - // TODO: projection by expression - || path == "unit/RecordProjectionByTypeFieldTypeMismatch" - || path == "unit/RecordProjectionByTypeNotPresent" // TODO: record completion || path == "unit/CompletionMissingRequiredField" || path == "unit/CompletionWithWrongDefaultType" -- cgit v1.2.3 From de7664d9dda95dd16742bc30e16a967c43d687ee Mon Sep 17 00:00:00 2001 From: Nadrieril Date: Wed, 5 Feb 2020 18:10:41 +0000 Subject: Typecheck record completion --- dhall/build.rs | 13 ------------- 1 file changed, 13 deletions(-) (limited to 'dhall/build.rs') diff --git a/dhall/build.rs b/dhall/build.rs index 36acc02..ab709b8 100644 --- a/dhall/build.rs +++ b/dhall/build.rs @@ -309,9 +309,6 @@ fn generate_tests() -> std::io::Result<()> { false // Too slow || path == "prelude" - // TODO: record completion - || path == "simple/completion" - || path == "unit/Completion" }), input_type: FileType::Text, output_type: Some(FileType::Text), @@ -322,11 +319,6 @@ fn generate_tests() -> std::io::Result<()> { variant: "TypeInferenceFailure", path_filter: Box::new(|path: &str| { false - // TODO: record completion - || path == "unit/CompletionMissingRequiredField" - || path == "unit/CompletionWithWrongDefaultType" - || path == "unit/CompletionWithWrongFieldName" - || path == "unit/CompletionWithWrongOverridenType" // TODO: enable free variable checking || path == "unit/MergeHandlerFreeVar" }), @@ -339,11 +331,6 @@ fn generate_tests() -> std::io::Result<()> { variant: "TypeError", path_filter: Box::new(|path: &str| { false - // TODO: record completion - || path == "unit/CompletionMissingRequiredField" - || path == "unit/CompletionWithWrongDefaultType" - || path == "unit/CompletionWithWrongFieldName" - || path == "unit/CompletionWithWrongOverridenType" // TODO: enable free variable checking || path == "unit/MergeHandlerFreeVar" }), -- cgit v1.2.3 From 853807b68a8ec8928a4d497fc7ce2b3676036eed Mon Sep 17 00:00:00 2001 From: Nadrieril Date: Wed, 5 Feb 2020 18:33:18 +0000 Subject: Normalize toMap --- dhall/build.rs | 4 ---- 1 file changed, 4 deletions(-) (limited to 'dhall/build.rs') diff --git a/dhall/build.rs b/dhall/build.rs index ab709b8..b6c30be 100644 --- a/dhall/build.rs +++ b/dhall/build.rs @@ -260,10 +260,6 @@ fn generate_tests() -> std::io::Result<()> { || path == "unit/RecordProjectionByTypeNormalizeProjection" // TODO: fix Double/show || path == "prelude/JSON/number/1" - // TODO: toMap - || path == "unit/EmptyToMap" - || path == "unit/ToMap" - || path == "unit/ToMapWithType" // TODO: Further record simplifications || path == "simplifications/rightBiasedMergeWithinRecordProjectionWithinFieldSelection0" || path == "simplifications/rightBiasedMergeWithinRecordProjectionWithinFieldSelection1" -- cgit v1.2.3 From c27d8ff15988b914d21135dadffe9871441c127f Mon Sep 17 00:00:00 2001 From: Nadrieril Date: Thu, 6 Feb 2020 16:34:08 +0000 Subject: Implement some record simplifications --- dhall/build.rs | 17 ++++++----------- 1 file changed, 6 insertions(+), 11 deletions(-) (limited to 'dhall/build.rs') diff --git a/dhall/build.rs b/dhall/build.rs index b6c30be..83c154e 100644 --- a/dhall/build.rs +++ b/dhall/build.rs @@ -258,27 +258,22 @@ fn generate_tests() -> std::io::Result<()> { || path == "unit/RecordProjectionByTypeEmpty" || path == "unit/RecordProjectionByTypeNonEmpty" || path == "unit/RecordProjectionByTypeNormalizeProjection" + || path == "unit/RecordProjectionByTypeWithinFieldSelection" + || path == "unit/RecursiveRecordMergeWithinFieldSelection1" + || path == "unit/NestedRecordProjectionByType" // TODO: fix Double/show || path == "prelude/JSON/number/1" - // TODO: Further record simplifications + // TODO: doesn't typecheck + || path == "unit/RightBiasedRecordMergeWithinRecordProjection" + // // TODO: Further record simplifications || path == "simplifications/rightBiasedMergeWithinRecordProjectionWithinFieldSelection0" || path == "simplifications/rightBiasedMergeWithinRecordProjectionWithinFieldSelection1" || path == "simplifications/rightBiasedMergeWithinRecursiveRecordMergeWithinFieldselection" || path == "simplifications/issue661" - || path == "unit/RecordProjectionByTypeWithinFieldSelection" || path == "unit/RecordProjectionWithinFieldSelection" || path == "unit/RecursiveRecordMergeWithinFieldSelection0" - || path == "unit/RecursiveRecordMergeWithinFieldSelection1" || path == "unit/RecursiveRecordMergeWithinFieldSelection2" || path == "unit/RecursiveRecordMergeWithinFieldSelection3" - || path == "unit/RightBiasedMergeWithinFieldSelection0" - || path == "unit/RightBiasedMergeWithinFieldSelection1" - || path == "unit/RightBiasedMergeWithinFieldSelection2" - || path == "unit/RightBiasedMergeWithinFieldSelection3" - || path == "unit/RightBiasedRecordMergeWithinRecordProjection" - || path == "unit/RightBiasedMergeEquivalentArguments" - || path == "unit/NestedRecordProjection" - || path == "unit/NestedRecordProjectionByType" // TODO: record completion || path == "simple/completion" || path == "unit/Completion" -- cgit v1.2.3