From ffb7cff2ff317c81248a680e4899fa45eed00daa Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Mon, 14 Sep 2020 22:20:04 +0100
Subject: spec: update to 17.1.0

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

(limited to 'dhall-lang')

diff --git a/dhall-lang b/dhall-lang
index 0c899ab..2cb2e18 160000
--- a/dhall-lang
+++ b/dhall-lang
@@ -1 +1 @@
-Subproject commit 0c899ab31fdb857f535fe9f5b37f981271824a65
+Subproject commit 2cb2e1804aa5ba8379137df1fc1fd1e9afb17ec7
-- 
cgit v1.2.3


From 7e523ae1903ae2d8bca8b3a8352167d7bac5b2b5 Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Mon, 14 Sep 2020 23:09:22 +0100
Subject: spec: Enable `with` optimizations

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

(limited to 'dhall-lang')

diff --git a/dhall-lang b/dhall-lang
index 2cb2e18..b046b84 160000
--- a/dhall-lang
+++ b/dhall-lang
@@ -1 +1 @@
-Subproject commit 2cb2e1804aa5ba8379137df1fc1fd1e9afb17ec7
+Subproject commit b046b849350cdfcdb90af48c3f88d31a40154159
-- 
cgit v1.2.3


From d1ac40eea5d1e62762c4a20ba9d2dc5ed0d5e06e Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Mon, 14 Sep 2020 23:11:12 +0100
Subject: spec!: support Dhall v18.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 b046b84..4ecd748 160000
--- a/dhall-lang
+++ b/dhall-lang
@@ -1 +1 @@
-Subproject commit b046b849350cdfcdb90af48c3f88d31a40154159
+Subproject commit 4ecd748e574df6b3e568090077042d184298a7e4
-- 
cgit v1.2.3