diff options
author | Nadrieril | 2019-09-20 22:12:56 +0200 |
---|---|---|
committer | Nadrieril | 2019-09-20 22:12:56 +0200 |
commit | d022cd7e807104ffed60a76058c4ccd478ac187a (patch) | |
tree | c0360473d2cb642fd153b67fa0a75db7074754d1 | |
parent | dc725d7d6c30227b1f22ae098c224ffe49bc21d6 (diff) |
Update dhall-lang submodule
Diffstat (limited to '')
m--------- | dhall-lang | 0 | ||||
-rw-r--r-- | dhall/build.rs | 8 |
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, |