From de7664d9dda95dd16742bc30e16a967c43d687ee Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Wed, 5 Feb 2020 18:10:41 +0000
Subject: Typecheck record completion

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

(limited to 'dhall/build.rs')

diff --git a/dhall/build.rs b/dhall/build.rs
index 36acc02..ab709b8 100644
--- a/dhall/build.rs
+++ b/dhall/build.rs
@@ -309,9 +309,6 @@ fn generate_tests() -> std::io::Result<()> {
                 false
                     // Too slow
                     || path == "prelude"
-                    // TODO: record completion
-                    || path == "simple/completion"
-                    || path == "unit/Completion"
             }),
             input_type: FileType::Text,
             output_type: Some(FileType::Text),
@@ -322,11 +319,6 @@ fn generate_tests() -> std::io::Result<()> {
             variant: "TypeInferenceFailure",
             path_filter: Box::new(|path: &str| {
                 false
-                    // TODO: record completion
-                    || path == "unit/CompletionMissingRequiredField"
-                    || path == "unit/CompletionWithWrongDefaultType"
-                    || path == "unit/CompletionWithWrongFieldName"
-                    || path == "unit/CompletionWithWrongOverridenType"
                     // TODO: enable free variable checking
                     || path == "unit/MergeHandlerFreeVar"
             }),
@@ -339,11 +331,6 @@ fn generate_tests() -> std::io::Result<()> {
             variant: "TypeError",
             path_filter: Box::new(|path: &str| {
                 false
-                    // TODO: record completion
-                    || path == "unit/CompletionMissingRequiredField"
-                    || path == "unit/CompletionWithWrongDefaultType"
-                    || path == "unit/CompletionWithWrongFieldName"
-                    || path == "unit/CompletionWithWrongOverridenType"
                     // TODO: enable free variable checking
                     || path == "unit/MergeHandlerFreeVar"
             }),
-- 
cgit v1.2.3