Skip to content

dhall-1.11.0

Compare
Choose a tag to compare
@Gabriella439 Gabriella439 released this 22 Jul 14:43
· 1453 commits to main since this release
ab436c7
  • BREAKING CHANGE TO THE API: Fix {Natural,Optional,List}/build semantics to
    match standard
    • This is a breaking change because the OptionalLit and ListLit
      constructors changed their representations to efficiently support the
      standard semantics
    • ListLit now stores a Data.Sequence.Seq instead of a
      Data.Vector.Vector
    • OptionalLit now stores a Maybe instead of a Data.Vector.Vector
    • See: #300
  • BREAKING CHANGE TO THE COMMAND LINE: dhall executable always formats output
    • Previously you had to opt into formatting using --pretty
    • Now formatting is obligatory and the --pretty flag is gone
    • See: #303
  • Feature: New :save command for dhall-repl
    • Now you can save an expression to a file: ./yourFile = someExpression
    • See: #309
  • Improvement: Add new simplifications to match standard
  • Improvement: Fix equivalence check to match standard
    • Practically this means that more corner cases of the language correctly
      type-check than before
  • Improvement: New --plain flag to disable syntax highlighting
  • Improvement: Prelude now provides an umbrella package.dhall import
    • This is primarily for convenience
    • See: #298
  • Improvement: Context is now normalized
  • Replace cryptohash dependency with cryptonite
  • Increase upper bound on exceptions
  • Fix type error in tutorial