summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorNadrieril2020-09-14 23:11:12 +0100
committerNadrieril2020-09-14 23:19:49 +0100
commitd1ac40eea5d1e62762c4a20ba9d2dc5ed0d5e06e (patch)
treeb7aa0f75932426461234e4b7568a6681247482ff
parent7e523ae1903ae2d8bca8b3a8352167d7bac5b2b5 (diff)
spec!: support Dhall v18.0.0
-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