summaryrefslogtreecommitdiff
path: root/dhall
diff options
context:
space:
mode:
authorNadrieril2019-08-07 22:28:36 +0200
committerNadrieril2019-08-07 22:28:36 +0200
commite81ab9a553bf82f20fa0b0344926258176a21dac (patch)
tree725eaa49a4f2236d44470279296969b66ba0bbc8 /dhall
parentc2cb7d38dfec05b6337aa5dcd0dc3068e73c9a58 (diff)
Update dhall-lang submodule
Diffstat (limited to '')
m---------dhall-lang0
-rw-r--r--dhall/build.rs1
-rw-r--r--dhall/src/phase/resolve.rs3
3 files changed, 4 insertions, 0 deletions
diff --git a/dhall-lang b/dhall-lang
-Subproject 95dd43037ce516907b0919a6cf2e8a9089b67f7
+Subproject 9f259cd68870b912fbf2f2a08cd63dc3ccba9dc
diff --git a/dhall/build.rs b/dhall/build.rs
index 29e86e3..b6df3d0 100644
--- a/dhall/build.rs
+++ b/dhall/build.rs
@@ -259,6 +259,7 @@ fn main() -> std::io::Result<()> {
|| path == "success/unit/RecordProjectionByTypeJudgmentalEquality"
// TODO: toMap
|| path == "success/unit/ToMap"
+ || path == "success/unit/ToMapAnnotated"
},
)?;
diff --git a/dhall/src/phase/resolve.rs b/dhall/src/phase/resolve.rs
index 0b29513..abcee7e 100644
--- a/dhall/src/phase/resolve.rs
+++ b/dhall/src/phase/resolve.rs
@@ -125,12 +125,15 @@ mod spec_tests {
// import_success!(success_alternativeHashMismatch, "alternativeHashMismatch");
// import_success!(success_alternativeNatural, "alternativeNatural");
// import_success!(success_alternativeParseError, "alternativeParseError");
+ // import_success!(success_alternativeTypeError, "alternativeTypeError");
+ // import_success!(success_asLocation, "asLocation");
// import_success!(success_asText, "asText");
// import_success!(success_customHeaders, "customHeaders");
import_success!(success_fieldOrder, "fieldOrder");
// note: this one needs special setup with env variables
// import_success!(success_hashFromCache, "hashFromCache");
// import_success!(success_headerForwarding, "headerForwarding");
+ // import_success!(success_nestedHash, "nestedHash");
// import_success!(success_noHeaderForwarding, "noHeaderForwarding");
// import_failure!(failure_alternativeEnv, "alternativeEnv");
// import_failure!(failure_alternativeEnvMissing, "alternativeEnvMissing");