summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorBasile Henry2020-03-01 18:58:10 +0100
committerBasile Henry2020-03-02 10:31:10 +0100
commit1a702c9c8e6addd481fff49f970cc5c2ef7b5d56 (patch)
treefa20da5f18a37764450bcdcc4653747c5135f7fa
parent5f720252a00bf2a45fef7f4c0855b79bd3932600 (diff)
Enable ProjectionByType tests
Diffstat (limited to '')
-rw-r--r--dhall/build.rs9
1 files changed, 1 insertions, 8 deletions
diff --git a/dhall/build.rs b/dhall/build.rs
index 3ac2901..d9bceeb 100644
--- a/dhall/build.rs
+++ b/dhall/build.rs
@@ -281,13 +281,6 @@ fn generate_tests() -> std::io::Result<()> {
path == "simple/integerToDouble"
// Too slow
|| path == "remoteSystems"
- // TODO: projection by expression
- || path == "unit/RecordProjectionByTypeEmpty"
- || path == "unit/RecordProjectionByTypeNonEmpty"
- || path == "unit/RecordProjectionByTypeNormalizeProjection"
- || path == "unit/RecordProjectionByTypeWithinFieldSelection"
- || path == "unit/RecursiveRecordMergeWithinFieldSelection1"
- || path == "unit/NestedRecordProjectionByType"
// TODO: fix Double/show
|| path == "prelude/JSON/number/1"
// TODO: doesn't typecheck
@@ -298,8 +291,8 @@ fn generate_tests() -> std::io::Result<()> {
|| path == "simplifications/rightBiasedMergeWithinRecordProjectionWithinFieldSelection1"
|| path == "simplifications/rightBiasedMergeWithinRecursiveRecordMergeWithinFieldselection"
|| path == "simplifications/issue661"
- || path == "unit/RecordProjectionWithinFieldSelection"
|| path == "unit/RecursiveRecordMergeWithinFieldSelection0"
+ || path == "unit/RecursiveRecordMergeWithinFieldSelection1"
|| path == "unit/RecursiveRecordMergeWithinFieldSelection2"
|| path == "unit/RecursiveRecordMergeWithinFieldSelection3"
}),