From 72ad56209fe10e3120c19ca5b820ff267423ab1d Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Sat, 11 Apr 2020 15:41:21 +0100
Subject: spec: fix precedence of `===` and `with`

---
 dhall-lang | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'dhall-lang')

diff --git a/dhall-lang b/dhall-lang
index a53a620..b788d6d 160000
--- a/dhall-lang
+++ b/dhall-lang
@@ -1 +1 @@
-Subproject commit a53a620df888b97fe23598356be7157bda0c8e21
+Subproject commit b788d6dd2150eec49b6bdd0cc7de50e403fad889
-- 
cgit v1.2.3


From 9da112a1985124f549254943c81495e637fb43cc Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Sat, 11 Apr 2020 22:05:00 +0100
Subject: spec: allow unions with mixed kinds

---
 dhall-lang | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'dhall-lang')

diff --git a/dhall-lang b/dhall-lang
index b788d6d..5973964 160000
--- a/dhall-lang
+++ b/dhall-lang
@@ -1 +1 @@
-Subproject commit b788d6dd2150eec49b6bdd0cc7de50e403fad889
+Subproject commit 5973964062be2e7ea6ff7300a46616086dd9143b
-- 
cgit v1.2.3


From 233e17abd5ec68f2a964954fb42c23705e6fa62d Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Sat, 11 Apr 2020 22:58:02 +0100
Subject: spec: update encoding of floating point values to RFC7049bis

---
 dhall-lang | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'dhall-lang')

diff --git a/dhall-lang b/dhall-lang
index 5973964..379e741 160000
--- a/dhall-lang
+++ b/dhall-lang
@@ -1 +1 @@
-Subproject commit 5973964062be2e7ea6ff7300a46616086dd9143b
+Subproject commit 379e741365465313aa77e755077bd81f328ca1bc
-- 
cgit v1.2.3


From 8ca63c1cd953f2f480b25d63727a30da7a3c43df Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Thu, 25 Jun 2020 13:48:39 +0100
Subject: spec: support Dhall v16.0.0

---
 dhall-lang | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'dhall-lang')

diff --git a/dhall-lang b/dhall-lang
index 379e741..4d7c8e4 160000
--- a/dhall-lang
+++ b/dhall-lang
@@ -1 +1 @@
-Subproject commit 379e741365465313aa77e755077bd81f328ca1bc
+Subproject commit 4d7c8e403202d7e8c64429bc23da41e33475d4e4
-- 
cgit v1.2.3


From 2cb647a1af179662832fb978b90f0b1df6e3dc18 Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Thu, 25 Jun 2020 13:55:49 +0100
Subject: spec: allow quoted labels to be empty

---
 dhall-lang | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'dhall-lang')

diff --git a/dhall-lang b/dhall-lang
index 4d7c8e4..eb2e9df 160000
--- a/dhall-lang
+++ b/dhall-lang
@@ -1 +1 @@
-Subproject commit 4d7c8e403202d7e8c64429bc23da41e33475d4e4
+Subproject commit eb2e9df445f8fd2036863813c3ad32a89e7778e0
-- 
cgit v1.2.3


From e3cdf3f386b6a682981e6bdf6ca6d215b0d0788d Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Thu, 25 Jun 2020 14:06:24 +0100
Subject: spec: not all ABNF parsers like empty rules

---
 dhall-lang | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'dhall-lang')

diff --git a/dhall-lang b/dhall-lang
index eb2e9df..f08384e 160000
--- a/dhall-lang
+++ b/dhall-lang
@@ -1 +1 @@
-Subproject commit eb2e9df445f8fd2036863813c3ad32a89e7778e0
+Subproject commit f08384ee5d4a9f1fbd63befb3938b4035f7b5d97
-- 
cgit v1.2.3


From 812fb88102082493d1176aab7ee61b5339821492 Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Thu, 25 Jun 2020 14:09:24 +0100
Subject: spec: ensure `keyword` rule only matches keywords

---
 dhall-lang | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'dhall-lang')

diff --git a/dhall-lang b/dhall-lang
index f08384e..871e8f7 160000
--- a/dhall-lang
+++ b/dhall-lang
@@ -1 +1 @@
-Subproject commit f08384ee5d4a9f1fbd63befb3938b4035f7b5d97
+Subproject commit 871e8f749f4c8a9d80311e0646dfbf0b5eeec316
-- 
cgit v1.2.3


From 8fd2fb4871335c72b9448da4a66144fd7f986f09 Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Thu, 25 Jun 2020 14:21:02 +0100
Subject: spec!: remove the ability to quote paths in URLs

---
 dhall-lang | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'dhall-lang')

diff --git a/dhall-lang b/dhall-lang
index 871e8f7..8637829 160000
--- a/dhall-lang
+++ b/dhall-lang
@@ -1 +1 @@
-Subproject commit 871e8f749f4c8a9d80311e0646dfbf0b5eeec316
+Subproject commit 86378293333912335c7b4bfaa32a562947809512
-- 
cgit v1.2.3


From ba61655649f4dd6117125430e49aba5ce4f92392 Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Thu, 25 Jun 2020 14:22:48 +0100
Subject: spec: remove Unicode character from `dhall.abnf`

---
 dhall-lang | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'dhall-lang')

diff --git a/dhall-lang b/dhall-lang
index 8637829..9358ffa 160000
--- a/dhall-lang
+++ b/dhall-lang
@@ -1 +1 @@
-Subproject commit 86378293333912335c7b4bfaa32a562947809512
+Subproject commit 9358ffa9c8241b0d8446d46010318758b0df38cb
-- 
cgit v1.2.3


From ac7e39a752c41c06155e27e84404c67c1341065d Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Thu, 25 Jun 2020 14:28:48 +0100
Subject: spec!: remove Optional/build and Optional/fold

---
 dhall-lang | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'dhall-lang')

diff --git a/dhall-lang b/dhall-lang
index 9358ffa..5494705 160000
--- a/dhall-lang
+++ b/dhall-lang
@@ -1 +1 @@
-Subproject commit 9358ffa9c8241b0d8446d46010318758b0df38cb
+Subproject commit 549470527dcc0ee59253708c6ac23c0cee455093
-- 
cgit v1.2.3


From 61ad94761e8428c19ca06ebb100cd4ee06c02f5a Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Thu, 25 Jun 2020 14:35:25 +0100
Subject: spec: support Dhall v17.0.0

---
 dhall-lang | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'dhall-lang')

diff --git a/dhall-lang b/dhall-lang
index 5494705..f035ea1 160000
--- a/dhall-lang
+++ b/dhall-lang
@@ -1 +1 @@
-Subproject commit 549470527dcc0ee59253708c6ac23c0cee455093
+Subproject commit f035ea1947d9392bcedbe7f8c563f33559370efd
-- 
cgit v1.2.3