summaryrefslogtreecommitdiff
path: root/dhall
diff options
context:
space:
mode:
authorNadrieril2019-08-06 21:28:12 +0200
committerNadrieril2019-08-06 21:42:17 +0200
commit3e157f0a05b0b93753ed377332597a37fa379541 (patch)
tree04a1ff2d696be52ae90102aa8c6744e771b9e43c /dhall
parentf20970a24db223f171eac2a3752f840dbf45d72b (diff)
Add toMap keyword
Diffstat (limited to 'dhall')
-rw-r--r--dhall/build.rs21
1 files changed, 21 insertions, 0 deletions
diff --git a/dhall/build.rs b/dhall/build.rs
index c78f8f9..2d75cbf 100644
--- a/dhall/build.rs
+++ b/dhall/build.rs
@@ -101,6 +101,8 @@ fn main() -> std::io::Result<()> {
|| path == "success/unit/import/urls/emptyPath1"
|| path == "success/unit/import/urls/emptyPathSegment"
|| path == "success/unit/import/urls/potPourri"
+ // TODO: toMap
+ || path == "success/toMap"
},
)?;
@@ -125,6 +127,8 @@ fn main() -> std::io::Result<()> {
|| path == "success/unit/import/urls/emptyPath0"
|| path == "success/unit/import/urls/emptyPath1"
|| path == "success/unit/import/urls/emptyPathSegment"
+ // TODO: toMap
+ || path == "success/toMap"
},
)?;
@@ -154,6 +158,9 @@ fn main() -> std::io::Result<()> {
|| path == "success/unit/import/urls/emptyPath0"
|| path == "success/unit/import/urls/emptyPath1"
|| path == "success/unit/import/urls/emptyPathSegment"
+ || path == "success/unit/import/urls/potPourri"
+ // TODO: toMap
+ || path == "success/toMap"
},
)?;
@@ -173,6 +180,10 @@ fn main() -> std::io::Result<()> {
|| path == "success/unit/RecordProjectionByTypeNormalizeProjection"
// TODO: fix Double/show
|| path == "success/prelude/JSON/number/1"
+ // TODO: toMap
+ || path == "success/unit/EmptyToMap"
+ || path == "success/unit/ToMap"
+ || path == "success/unit/ToMapWithType"
},
)?;
@@ -197,6 +208,14 @@ fn main() -> std::io::Result<()> {
// TODO: projection by expression
|| path == "failure/unit/RecordProjectionByTypeFieldTypeMismatch"
|| path == "failure/unit/RecordProjectionByTypeNotPresent"
+ // TODO: toMap
+ || path == "failure/unit/EmptyToMap"
+ || path == "failure/unit/HeterogenousToMap"
+ || path == "failure/unit/MistypedToMap1"
+ || path == "failure/unit/MistypedToMap2"
+ || path == "failure/unit/MistypedToMap3"
+ || path == "failure/unit/MistypedToMap4"
+ || path == "failure/unit/NonRecordToMap"
},
)?;
@@ -211,6 +230,8 @@ fn main() -> std::io::Result<()> {
|| path == "success/unit/RecordProjectionByType"
|| path == "success/unit/RecordProjectionByTypeEmpty"
|| path == "success/unit/RecordProjectionByTypeJudgmentalEquality"
+ // TODO: toMap
+ || path == "success/unit/ToMap"
},
)?;