From e81ab9a553bf82f20fa0b0344926258176a21dac Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Wed, 7 Aug 2019 22:28:36 +0200
Subject: Update dhall-lang submodule

---
 dhall-lang                 | 2 +-
 dhall/build.rs             | 1 +
 dhall/src/phase/resolve.rs | 3 +++
 3 files changed, 5 insertions(+), 1 deletion(-)

diff --git a/dhall-lang b/dhall-lang
index 95dd430..9f259cd 160000
--- a/dhall-lang
+++ b/dhall-lang
@@ -1 +1 @@
-Subproject commit 95dd43037ce516907b0919a6cf2e8a9089b67f73
+Subproject commit 9f259cd68870b912fbf2f2a08cd63dc3ccba9dc3
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");
-- 
cgit v1.2.3