From e294450e1e76491e96019b8a3695463e09d1739b Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Sun, 22 Dec 2019 19:02:18 +0000
Subject: Implement parsing for record completion

---
 dhall/build.rs | 16 ++++++++++++++++
 1 file changed, 16 insertions(+)

(limited to 'dhall/build.rs')

diff --git a/dhall/build.rs b/dhall/build.rs
index e06f9b3..ec06ece 100644
--- a/dhall/build.rs
+++ b/dhall/build.rs
@@ -267,6 +267,9 @@ fn generate_tests() -> std::io::Result<()> {
                     || path == "unit/RightBiasedMergeEquivalentArguments"
                     || path == "unit/NestedRecordProjection"
                     || path == "unit/NestedRecordProjectionByType"
+                    // TODO: record completion
+                    || path == "simple/completion"
+                    || path == "unit/Completion"
             }),
             input_type: FileType::Text,
             output_type: Some(FileType::Text),
@@ -299,6 +302,9 @@ fn generate_tests() -> std::io::Result<()> {
                     || path == "unit/ToMapAnnotated"
                     || path == "unit/ToMapInferTypeFromRecord"
                     || path == "simple/toMapEmptyNormalizeAnnotation"
+                    // TODO: record completion
+                    || path == "simple/completion"
+                    || path == "unit/Completion"
             }),
             input_type: FileType::Text,
             output_type: Some(FileType::Text),
@@ -322,6 +328,11 @@ fn generate_tests() -> std::io::Result<()> {
                     || path == "unit/NonRecordToMap"
                     || path == "unit/ToMapEmptyInvalidAnnotation"
                     || path == "unit/ToMapWrongKind"
+                    // TODO: record completion
+                    || path == "unit/CompletionMissingRequiredField"
+                    || path == "unit/CompletionWithWrongDefaultType"
+                    || path == "unit/CompletionWithWrongFieldName"
+                    || path == "unit/CompletionWithWrongOverridenType"
             }),
             input_type: FileType::Text,
             output_type: None,
@@ -345,6 +356,11 @@ fn generate_tests() -> std::io::Result<()> {
                     || path == "unit/NonRecordToMap"
                     || path == "unit/ToMapEmptyInvalidAnnotation"
                     || path == "unit/ToMapWrongKind"
+                    // TODO: record completion
+                    || path == "unit/CompletionMissingRequiredField"
+                    || path == "unit/CompletionWithWrongDefaultType"
+                    || path == "unit/CompletionWithWrongFieldName"
+                    || path == "unit/CompletionWithWrongOverridenType"
             }),
             input_type: FileType::Text,
             output_type: None,
-- 
cgit v1.2.3