summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
Diffstat (limited to '')
m---------dhall-lang0
-rw-r--r--dhall/build.rs8
2 files changed, 7 insertions, 1 deletions
diff --git a/dhall-lang b/dhall-lang
-Subproject 10671c80af436cfe8719863be920894853e5e8f
+Subproject 781961f4694667667f093d28e7b35569c67678c
diff --git a/dhall/build.rs b/dhall/build.rs
index 384de53..b7ed6ca 100644
--- a/dhall/build.rs
+++ b/dhall/build.rs
@@ -259,10 +259,11 @@ fn main() -> std::io::Result<()> {
|| path == "unit/EmptyToMap"
|| path == "unit/ToMap"
|| path == "unit/ToMapWithType"
- // TODO: Normalize field selection further by inspecting the argument
+ // 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"
@@ -273,7 +274,10 @@ fn main() -> std::io::Result<()> {
|| path == "unit/RightBiasedMergeWithinFieldSelection1"
|| path == "unit/RightBiasedMergeWithinFieldSelection2"
|| path == "unit/RightBiasedMergeWithinFieldSelection3"
+ || path == "unit/RightBiasedRecordMergeWithinRecordProjection"
|| path == "unit/RightBiasedMergeEquivalentArguments"
+ || path == "unit/NestedRecordProjection"
+ || path == "unit/NestedRecordProjectionByType"
},
input_type: FileType::Text,
output_type: Some(FileType::Text),
@@ -312,6 +316,7 @@ fn main() -> std::io::Result<()> {
// TODO: toMap
|| path == "unit/ToMap"
|| path == "unit/ToMapAnnotated"
+ || path == "simple/toMapEmptyNormalizeAnnotation"
},
input_type: FileType::Text,
output_type: Some(FileType::Text),
@@ -340,6 +345,7 @@ fn main() -> std::io::Result<()> {
|| path == "unit/MistypedToMap3"
|| path == "unit/MistypedToMap4"
|| path == "unit/NonRecordToMap"
+ || path == "unit/ToMapWrongKind"
},
input_type: FileType::Text,
output_type: None,