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

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

diff --git a/CHANGELOG.md b/CHANGELOG.md
index f410d16..436b02c 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -2,9 +2,7 @@
 
 #### [Unreleased]
 
-- Update encoding of floating point values to RFC7049bis
-- Allow unions with mixed kinds
-- Adjust precedence of `===` and `with`
+- Support Dhall v16.0.0
 - Fix running tests on Windows. Developing on this lib should now be possible on Windows.
 
 #### [0.5.3] - 2020-05-30
diff --git a/README.md b/README.md
index cad82f8..d1a3b18 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 `15.0.0`.
+standard](https://github.com/dhall-lang/dhall-lang) version `16.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 379e741..4d7c8e4 160000
--- a/dhall-lang
+++ b/dhall-lang
@@ -1 +1 @@
-Subproject commit 379e741365465313aa77e755077bd81f328ca1bc
+Subproject commit 4d7c8e403202d7e8c64429bc23da41e33475d4e4
-- 
cgit v1.2.3