From 3008f5711fbe40d1930ebc36e602c29d3fbec3eb Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Sat, 3 Aug 2019 20:48:55 +0200
Subject: Update dhall-lang submodule

---
 dhall-lang                   | 2 +-
 dhall/src/phase/typecheck.rs | 4 ++--
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/dhall-lang b/dhall-lang
index f12c7b5..8fff4cb 160000
--- a/dhall-lang
+++ b/dhall-lang
@@ -1 +1 @@
-Subproject commit f12c7b5c37b9667162255d9562c811896965effd
+Subproject commit 8fff4cb42e6c4d1005205609957b785a3d11f8d2
diff --git a/dhall/src/phase/typecheck.rs b/dhall/src/phase/typecheck.rs
index 9bb0e32..d9f6e09 100644
--- a/dhall/src/phase/typecheck.rs
+++ b/dhall/src/phase/typecheck.rs
@@ -1044,7 +1044,6 @@ mod spec_tests {
     tc_success!(tc_success_recordOfTypes, "recordOfTypes");
     // tc_success!(tc_success_simple_access_0, "simple/access/0");
     // tc_success!(tc_success_simple_access_1, "simple/access/1");
-    // tc_success!(tc_success_simple_alternativesAreTypes, "simple/alternativesAreTypes");
     // tc_success!(tc_success_simple_anonymousFunctionsInTypes, "simple/anonymousFunctionsInTypes");
     // tc_success!(tc_success_simple_fieldsAreTypes, "simple/fieldsAreTypes");
     // tc_success!(tc_success_simple_kindParameter, "simple/kindParameter");
@@ -1174,6 +1173,7 @@ mod spec_tests {
     ti_success!(ti_success_unit_ListReverse, "unit/ListReverse");
     ti_success!(ti_success_unit_MergeEmptyUnion, "unit/MergeEmptyUnion");
     ti_success!(ti_success_unit_MergeOne, "unit/MergeOne");
+    ti_success!(ti_success_unit_MergeOneEmpty, "unit/MergeOneEmpty");
     ti_success!(ti_success_unit_MergeOneWithAnnotation, "unit/MergeOneWithAnnotation");
     ti_success!(ti_success_unit_Natural, "unit/Natural");
     ti_success!(ti_success_unit_NaturalBuild, "unit/NaturalBuild");
@@ -1260,7 +1260,7 @@ mod spec_tests {
     ti_success!(ti_success_unit_TypeAnnotationSort, "unit/TypeAnnotationSort");
     ti_success!(ti_success_unit_UnionConstructorEmptyField, "unit/UnionConstructorEmptyField");
     ti_success!(ti_success_unit_UnionConstructorField, "unit/UnionConstructorField");
-    ti_success!(ti_success_unit_UnionOne, "unit/UnionOne");
+    ti_success!(ti_success_unit_UnionLiteralOne, "unit/UnionLiteralOne");
     ti_success!(ti_success_unit_UnionTypeEmpty, "unit/UnionTypeEmpty");
     ti_success!(ti_success_unit_UnionTypeKind, "unit/UnionTypeKind");
     ti_success!(ti_success_unit_UnionTypeOne, "unit/UnionTypeOne");
-- 
cgit v1.2.3