summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorNadrieril2021-02-04 16:11:56 +0000
committerNadrieril2021-02-04 16:11:56 +0000
commit257b57c616de78c646f38d75e3487754499e9ba5 (patch)
tree612a9be03cdac5a358b25de17c0cd3f0b6ddd4a8
parent8224d1be94ddbb5685c08bf0a97a73029755ac3b (diff)
spec: support dhall v20
-rw-r--r--CHANGELOG.md2
-rw-r--r--README.md2
m---------dhall-lang0
3 files changed, 3 insertions, 1 deletions
diff --git a/CHANGELOG.md b/CHANGELOG.md
index 1b78bd0..695a6d3 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -3,6 +3,8 @@
#### [Unreleased]
- BREAKING CHANGE: Change minimum supported version to 1.44.0.
+- BREAKING CHANGE: Support dhall v20.0.0
+- `if` can return a type (https://github.com/Nadrieril/dhall-rust/pull/202)
#### [0.9.0] - 2020-11-20
diff --git a/README.md b/README.md
index 5776391..3974804 100644
--- a/README.md
+++ b/README.md
@@ -75,7 +75,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 `19.0.0`.
+standard](https://github.com/dhall-lang/dhall-lang) version `20.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 b2344e922a3cebc4f5b055abe52d3ec50be6eab
+Subproject 51b9effa64acb8829011353926686fb190144c3