diff options
| author | Basile Henry | 2020-03-01 18:58:10 +0100 |
|---|---|---|
| committer | Basile Henry | 2020-03-02 10:31:10 +0100 |
| commit | 1a702c9c8e6addd481fff49f970cc5c2ef7b5d56 (patch) | |
| tree | fa20da5f18a37764450bcdcc4653747c5135f7fa /dhall/build.rs | |
| parent | 5f720252a00bf2a45fef7f4c0855b79bd3932600 (diff) | |
Enable ProjectionByType tests
Diffstat (limited to '')
| -rw-r--r-- | dhall/build.rs | 9 |
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" }), |