1.32.0

• Supports version 16.0.0 of the standard
  • BREAKING CHANGE: Change the precedence of with and ===
    • The precedence change to with means 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
      Double literals 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 = x to update a nested
      fields
• DEPRECATION: Deprecate Dhall.Parser.exprA
  • Dhall.Parser module 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 uses union
  • This fixes a few subtle bugs in how Dhall unions are marshalled into
    Haskell types, and also improves the error messages
• Formatting improvements
  • Change formatting of if expressions
  • Change formatting for functions and their types
  • Prefer puns when formatting record completions
• Convert union alternatives to directory tree
  • dhall to-directory-tree now supports unions which are automatically
    unwrapped
• Fix dhall freeze --cache to better handle protected imports
  • dhall freeze --cache will 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