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