summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--CHANGELOG.md3
-rw-r--r--README.md2
m---------dhall-lang0
3 files changed, 2 insertions, 3 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
-Subproject b046b849350cdfcdb90af48c3f88d31a4015415
+Subproject 4ecd748e574df6b3e568090077042d184298a7e