dhall v1.27.0 Release Notes
Release Date: 2019-10-20 // over 4 years ago-
- 🚀 Supports version 11.0.0 of the standard
- 💥 BREAKING CHANGE: Rename
Inject/InterprettoToDhall/FromDhall- This change
ConstraintKindsto minimize disruption by keeping around
Inject/Interpretas synonyms forToDhall/FromDhall - In other words, constraints and derived instances using
Injector
Interpretwill still work - However, manual instances using
InjectorInterpretwon't work
unless you rename them toToDhall/FromDhallor enable the
TypeSynonymInstancesextension
- This change
- 💥 BREAKING CHANGE: Fix
Eqinstance forExprs with specialDoubles- This fixes the
Eqinstance forExprs to match the standard regarding
Doublecomparisons - Specifically:
NaN == NaNand-0.0 /= 0.0 - This is a breaking change because the
DoubleLitconstructor ofExpr
now stores aDhallDoubleinstead of aDouble
- This fixes the
- 💥 BREAKING CHANGE: Add
--fileoption fordhall hash- This is a breaking change because it also removes the
Dhall.Hashmodule,
which wasn't really carrying its own weight
- This is a breaking change because it also removes the
- 👍 Add support for leading separators
- See the changelog for standard version 11.0.0 for more details
- Add record completion operator
- See the changelog for standard version 11.0.0 for more details
- Add
dhall tagssubcommand- This generates an ETags file from an input file or directory
- 👕 Add
dhall lintsupport for fixing malformed assertionsdhall lintnow fixeslet example = foo === barto be
let example = assert : foo === bar
- Normalize inferred types #1337
- 🆕 New
FromDhall/ToDhall(previouslyInterpret/Inject) instances for: - Add
--outputoption todhall - 🚚 Move syntax things from
Dhall.Coreto a newDhall.Syntaxmodule- This is not a breaking change.
Dhall.Corestill re-exports the same
API as before
- This is not a breaking change.
- 🐎 Performance improvements
- 🛠 Fixes and improvements to code formatting