diff options
author | Nadrieril | 2020-02-05 18:10:41 +0000 |
---|---|---|
committer | Nadrieril | 2020-02-05 18:10:41 +0000 |
commit | de7664d9dda95dd16742bc30e16a967c43d687ee (patch) | |
tree | ba757f557e694f63c9206394d6a162f6db21ae55 /dhall/build.rs | |
parent | 7ff5974052e3e18109acbe6e4f0588698d6129ba (diff) |
Typecheck record completion
Diffstat (limited to 'dhall/build.rs')
-rw-r--r-- | dhall/build.rs | 13 |
1 files changed, 0 insertions, 13 deletions
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" }), |