diff options
author | Nadrieril | 2020-02-05 17:52:27 +0000 |
---|---|---|
committer | Nadrieril | 2020-02-05 17:52:27 +0000 |
commit | 7ff5974052e3e18109acbe6e4f0588698d6129ba (patch) | |
tree | fef73324e9dfa23c03bdd31a4e9e59500b950be5 /dhall/build.rs | |
parent | 5e50ad90b01ef5f589515280668187b722bfcb5f (diff) |
Typecheck projection by type
Diffstat (limited to '')
-rw-r--r-- | dhall/build.rs | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/dhall/build.rs b/dhall/build.rs index 5523ef3..36acc02 100644 --- a/dhall/build.rs +++ b/dhall/build.rs @@ -309,10 +309,6 @@ fn generate_tests() -> std::io::Result<()> { false // Too slow || path == "prelude" - // TODO: projection by expression - || path == "unit/RecordProjectionByType" - || path == "unit/RecordProjectionByTypeEmpty" - || path == "unit/RecordProjectionByTypeJudgmentalEquality" // TODO: record completion || path == "simple/completion" || path == "unit/Completion" @@ -326,9 +322,6 @@ fn generate_tests() -> std::io::Result<()> { variant: "TypeInferenceFailure", path_filter: Box::new(|path: &str| { false - // TODO: projection by expression - || path == "unit/RecordProjectionByTypeFieldTypeMismatch" - || path == "unit/RecordProjectionByTypeNotPresent" // TODO: record completion || path == "unit/CompletionMissingRequiredField" || path == "unit/CompletionWithWrongDefaultType" @@ -346,9 +339,6 @@ fn generate_tests() -> std::io::Result<()> { variant: "TypeError", path_filter: Box::new(|path: &str| { false - // TODO: projection by expression - || path == "unit/RecordProjectionByTypeFieldTypeMismatch" - || path == "unit/RecordProjectionByTypeNotPresent" // TODO: record completion || path == "unit/CompletionMissingRequiredField" || path == "unit/CompletionWithWrongDefaultType" |