1.31.1
- BUG FIX: Allow whitespace after record pun entry
- The record pun feature introduced in the previous release did not
correctly parse record puns with trailing whitespace, which this change
fixes.
- The record pun feature introduced in the previous release did not
- Expose
{default,}InputNormalizer
- The previous version introduced a breaking change to the
autoWith
type
that required access to the implementation ofInputNormalizer
, which was
not exported. This change fixes that.
- The previous version introduced a breaking change to the
- Build against latest dependencies
- Prefer to format using record puns when possible
dhall format
will now reformat code to use record puns when applicable
- Fixes and improvements to error messages: