diff options
author | Nadrieril | 2020-04-11 14:04:22 +0100 |
---|---|---|
committer | Nadrieril | 2020-04-11 14:04:22 +0100 |
commit | d7938a75301d8a1bb870505a8a138d4bdf143632 (patch) | |
tree | 4c73f5de8e3c2f831358f280740ecada2770d5a2 | |
parent | f78da0fb1f338123a226ec4d576b5329fffb5148 (diff) |
Update spec to v15
-rw-r--r-- | README.md | 3 | ||||
m--------- | dhall-lang | 0 |
2 files changed, 2 insertions, 1 deletions
@@ -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 diff --git a/dhall-lang b/dhall-lang -Subproject 99d84e47ed9c64cee9c48212ca8f2af9320cdda +Subproject 91d88e0a7938387cd8eb3cfaf091bd79d312168 |