dhall v1.32.0 Release Notes
Release Date: 2020-05-08 // almost 4 years ago-
- 🚀 Supports version 16.0.0 of the standard
- BREAKING CHANGE: Change the precedence of
withand=== - The precedence change to
withmeans that some old expressions that
were valid now require explicit parentheses - BREAKING CHANGE: Use RFC7049bis encoding for
Doubles - This is a breaking change because the hashes of expressions with small
Doubleliterals will change now - Add support for unions mixing terms and types
- For example,
< A : Bool | B : Type >is legal now - You can now write
someRecord with a.b.c = xto update a nested
fields
- BREAKING CHANGE: Change the precedence of
- 🗄 DEPRECATION: Deprecate
Dhall.Parser.exprADhall.Parsermodule will eventually drop support for parsing custom
import types- This is necessary in order to fix several parsing bugs and improve
📜 parsing error messages
- 🐛 BUG FIX: GHC Generics instance for
:+:now usesunion- This fixes a few subtle bugs in how Dhall unions are marshalled into
Haskell types, and also improves the error messages
- This fixes a few subtle bugs in how Dhall unions are marshalled into
- Formatting improvements
- Convert union alternatives to directory tree
dhall to-directory-treenow supports unions which are automatically
unwrapped
- 👍 Fix
dhall freeze --cacheto better handle protected importsdhall freeze --cachewill now also update imports that already have
integrity checks
- Don't normalized partially saturated
{List,Natural}/fold- The behavior now matches the standard. Previously, the Haskell
implementation was not standards-compliant because it would normalize
these partially saturated built-ins
- The behavior now matches the standard. Previously, the Haskell
- 🚀 Supports version 16.0.0 of the standard