summaryrefslogtreecommitdiff
path: root/dhall/build.rs
diff options
context:
space:
mode:
authorNadrieril2019-08-06 20:38:06 +0200
committerNadrieril2019-08-06 21:42:16 +0200
commit482be29e0f03e10c2469ef80bdd6ac7593207dc5 (patch)
tree7af9fba1964751870f4694b27304dde556590668 /dhall/build.rs
parent2551e6f91110bfe385fa65dd63e576df637c26fa (diff)
RFC3986 URLs
Diffstat (limited to 'dhall/build.rs')
-rw-r--r--dhall/build.rs20
1 files changed, 18 insertions, 2 deletions
diff --git a/dhall/build.rs b/dhall/build.rs
index 7e320c5..cdbd560 100644
--- a/dhall/build.rs
+++ b/dhall/build.rs
@@ -94,6 +94,12 @@ fn main() -> std::io::Result<()> {
|| path == "success/recordProjectionByExpression"
|| path == "success/unit/recordProjectionByExpression"
|| path == "success/unit/recordProjectionByExpressionEmpty"
+ // TODO: RFC3986 URLs
+ || path == "success/unit/import/urls/emptyPath0"
+ || path == "success/unit/import/urls/emptyPath1"
+ || path == "success/unit/import/urls/emptyPathSegment"
+ // Test is broken
+ || path == "success/unit/import/asLocation"
},
)?;
@@ -113,6 +119,12 @@ fn main() -> std::io::Result<()> {
|| path == "success/recordProjectionByExpression"
|| path == "success/unit/recordProjectionByExpression"
|| path == "success/unit/recordProjectionByExpressionEmpty"
+ // TODO: RFC3986 URLs
+ || path == "success/unit/import/urls/emptyPath0"
+ || path == "success/unit/import/urls/emptyPath1"
+ || path == "success/unit/import/urls/emptyPathSegment"
+ // Test is broken
+ || path == "success/unit/import/asLocation"
},
)?;
@@ -137,6 +149,12 @@ fn main() -> std::io::Result<()> {
|| path == "success/recordProjectionByExpression"
|| path == "success/unit/recordProjectionByExpression"
|| path == "success/unit/recordProjectionByExpressionEmpty"
+ // TODO: RFC3986 URLs
+ || path == "success/unit/import/urls/emptyPath0"
+ || path == "success/unit/import/urls/emptyPath1"
+ || path == "success/unit/import/urls/emptyPathSegment"
+ // Test is broken
+ || path == "success/unit/import/asLocation"
},
)?;
@@ -156,8 +174,6 @@ fn main() -> std::io::Result<()> {
|| path == "success/unit/RecordProjectionTypeNormalizeProjection"
// TODO: fix Double/show
|| path == "success/prelude/JSON/number/1"
- // the test is wrong
- || path == "success/prelude/JSON/Type/0"
},
)?;