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

---
 CHANGELOG.md | 3 +--
 README.md    | 2 +-
 dhall-lang   | 2 +-
 3 files changed, 3 insertions(+), 4 deletions(-)

diff --git a/CHANGELOG.md b/CHANGELOG.md
index ac51508..b06332f 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -2,8 +2,7 @@
 
 #### [Unreleased]
 
-- BREAKING CHANGE: Enable `with` optimizations
-- Support Dhall v17.1.0
+- BREAKING CHANGE: Support Dhall v18.0.0
 
 #### [0.6.0] - 2020-08-05
 
diff --git a/README.md b/README.md
index 3387539..1f708c7 100644
--- a/README.md
+++ b/README.md
@@ -72,7 +72,7 @@ assert_eq!(deserialized_map, expected_map);
 ## Standard-compliance
 
 This implementation currently supports most of the [Dhall
-standard](https://github.com/dhall-lang/dhall-lang) version `17.1.0`.
+standard](https://github.com/dhall-lang/dhall-lang) version `18.0.0`.
 
 The main missing feature is import headers. See
 [here](https://github.com/Nadrieril/dhall-rust/issues?q=is%3Aopen+is%3Aissue+label%3Astandard-compliance)
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