From 5057144ed99bc4e1a76a0840dd39fc1bd862665c Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Sat, 15 Feb 2020 19:10:52 +0000
Subject: Desugar Completion during resolution

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

(limited to 'dhall/build.rs')

diff --git a/dhall/build.rs b/dhall/build.rs
index 8deb637..7c62083 100644
--- a/dhall/build.rs
+++ b/dhall/build.rs
@@ -299,9 +299,6 @@ fn generate_tests() -> std::io::Result<()> {
                     || path == "unit/RecursiveRecordMergeWithinFieldSelection0"
                     || path == "unit/RecursiveRecordMergeWithinFieldSelection2"
                     || path == "unit/RecursiveRecordMergeWithinFieldSelection3"
-                    // TODO: record completion
-                    || path == "simple/completion"
-                    || path == "unit/Completion"
             }),
             input_type: FileType::Text,
             output_type: Some(FileType::Text),
-- 
cgit v1.2.3