Normalize field selection further by inspecting the argument

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"
         },
     )?;