diff options
| m--------- | dhall-lang | 0 | ||||
| -rw-r--r-- | dhall/build.rs | 12 |
2 files changed, 12 insertions, 0 deletions
diff --git a/dhall-lang b/dhall-lang -Subproject affafb9c674c7117e24634ceb5dbdaa1dc8dc0b +Subproject ebda6c150056f4e7a801ee11f611be86ce694e8 diff --git a/dhall/build.rs b/dhall/build.rs index 3d4611e..983fcad 100644 --- a/dhall/build.rs +++ b/dhall/build.rs @@ -196,6 +196,18 @@ fn main() -> std::io::Result<()> { || path == "success/unit/EmptyToMap" || path == "success/unit/ToMap" || path == "success/unit/ToMapWithType" + // Normalize field selection further by inspecting the argument + || path == "success/simplifications/rightBiasedMergeWithinRecordProjectionWithinFieldSelection0" + || path == "success/simplifications/rightBiasedMergeWithinRecordProjectionWithinFieldSelection1" + || path == "success/simplifications/rightBiasedMergeWithinRecursiveRecordMergeWithinFieldselection" + || path == "success/unit/RecordProjectionByTypeWithinFieldSelection" + || path == "success/unit/RecordProjectionWithinFieldSelection" + || path == "success/unit/RecursiveRecordMergeWithinFieldSelection0" + || path == "success/unit/RecursiveRecordMergeWithinFieldSelection1" + || path == "success/unit/RecursiveRecordMergeWithinFieldSelection2" + || path == "success/unit/RightBiasedMergeWithinFieldSelection0" + || path == "success/unit/RightBiasedMergeWithinFieldSelection1" + || path == "success/unit/RightBiasedMergeWithinFieldSelection2" }, )?; |