From d7938a75301d8a1bb870505a8a138d4bdf143632 Mon Sep 17 00:00:00 2001 From: Nadrieril Date: Sat, 11 Apr 2020 14:04:22 +0100 Subject: Update spec to v15 --- README.md | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'README.md') diff --git a/README.md b/README.md index e4411d3..8ed7711 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 `14.0.0`. +standard](https://github.com/dhall-lang/dhall-lang) version `15.0.0`. The main missing features are import caching and import headers. See [here](https://github.com/Nadrieril/dhall-rust/issues?q=is%3Aopen+is%3Aissue+label%3Astandard-compliance) @@ -169,6 +169,7 @@ same name as the corresponding test. #### [Unreleased] +- Update to supporting dhall v15.0.0 - Deserialize `Prelude.Map` and `toMap` to a map instead of a list. #### [0.5.1] - 2020-04-09 -- cgit v1.2.3