From 29208b0bf3dd2667f92774dacb3a7f058c4cd895 Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Thu, 5 Mar 2020 15:50:45 +0000
Subject: Implement some normalization simplifications

---
 dhall/build.rs | 11 ++---------
 1 file changed, 2 insertions(+), 9 deletions(-)

(limited to 'dhall/build.rs')

diff --git a/dhall/build.rs b/dhall/build.rs
index d9bceeb..1612406 100644
--- a/dhall/build.rs
+++ b/dhall/build.rs
@@ -286,15 +286,8 @@ fn generate_tests() -> std::io::Result<()> {
                     // TODO: doesn't typecheck
                     || path == "unit/RightBiasedRecordMergeWithinRecordProjection"
                     || path == "unit/Sort"
-                    // // TODO: Further record simplifications
-                    || path == "simplifications/rightBiasedMergeWithinRecordProjectionWithinFieldSelection0"
-                    || path == "simplifications/rightBiasedMergeWithinRecordProjectionWithinFieldSelection1"
-                    || path == "simplifications/rightBiasedMergeWithinRecursiveRecordMergeWithinFieldselection"
+                    // TODO: Further record simplifications
                     || path == "simplifications/issue661"
-                    || path == "unit/RecursiveRecordMergeWithinFieldSelection0"
-                    || path == "unit/RecursiveRecordMergeWithinFieldSelection1"
-                    || path == "unit/RecursiveRecordMergeWithinFieldSelection2"
-                    || path == "unit/RecursiveRecordMergeWithinFieldSelection3"
             }),
             input_type: FileType::Text,
             output_type: Some(FileType::Text),
@@ -304,7 +297,7 @@ fn generate_tests() -> std::io::Result<()> {
             directory: "alpha-normalization/success/",
             variant: "AlphaNormalization",
             path_filter: Box::new(|path: &str| {
-                // This test doesn't typecheck
+                // This test is designed to not typecheck
                 path == "unit/FunctionNestedBindingXXFree"
             }),
             input_type: FileType::Text,
-- 
cgit v1.2.3