From 853807b68a8ec8928a4d497fc7ce2b3676036eed Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Wed, 5 Feb 2020 18:33:18 +0000
Subject: Normalize toMap

---
 dhall/build.rs | 4 ----
 1 file changed, 4 deletions(-)

(limited to 'dhall/build.rs')

diff --git a/dhall/build.rs b/dhall/build.rs
index ab709b8..b6c30be 100644
--- a/dhall/build.rs
+++ b/dhall/build.rs
@@ -260,10 +260,6 @@ fn generate_tests() -> std::io::Result<()> {
                     || path == "unit/RecordProjectionByTypeNormalizeProjection"
                     // TODO: fix Double/show
                     || path == "prelude/JSON/number/1"
-                    // TODO: toMap
-                    || path == "unit/EmptyToMap"
-                    || path == "unit/ToMap"
-                    || path == "unit/ToMapWithType"
                     // TODO: Further record simplifications
                     || path == "simplifications/rightBiasedMergeWithinRecordProjectionWithinFieldSelection0"
                     || path == "simplifications/rightBiasedMergeWithinRecordProjectionWithinFieldSelection1"
-- 
cgit v1.2.3