From ffb7cff2ff317c81248a680e4899fa45eed00daa Mon Sep 17 00:00:00 2001 From: Nadrieril Date: Mon, 14 Sep 2020 22:20:04 +0100 Subject: spec: update to 17.1.0 --- CHANGELOG.md | 2 ++ README.md | 2 +- dhall-lang | 2 +- 3 files changed, 4 insertions(+), 2 deletions(-) diff --git a/CHANGELOG.md b/CHANGELOG.md index 20c5e34..9449d4b 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -2,6 +2,8 @@ #### [Unreleased] +- Support Dhall v17.1.0 + #### [0.6.0] - 2020-08-05 - Allow trailing delimiters in records, lists, etc. diff --git a/README.md b/README.md index 634c7c1..3387539 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.0.0`. +standard](https://github.com/dhall-lang/dhall-lang) version `17.1.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 0c899ab..2cb2e18 160000 --- a/dhall-lang +++ b/dhall-lang @@ -1 +1 @@ -Subproject commit 0c899ab31fdb857f535fe9f5b37f981271824a65 +Subproject commit 2cb2e1804aa5ba8379137df1fc1fd1e9afb17ec7 -- cgit v1.2.3