1.33.0

• Supports version 17.0.0 of the standard
  • BREAKING CHANGE: URLs no longer support quoted path components
  • BREAKING CHANGE: Optional/{fold,build} are no longer built-ins
  • Record fields now permit empty labels
• BREAKING CHANGE: Fail instead of hanging when deriving FromDhall for recursive types
  • This is a breaking change as now the expected type returns an
    Expector (Expr Src Void) (essentially an Either) instead of
    Expr Src Void
  • If you really don't want to handle the new error-related wrapper, you can
    get the old behavior using a partial pattern match (which will be partial,
    still an improvement over the previous behavior, which was hanging)
• BREAKING CHANGE: Records can no longer contain attributes named after language keywords
  • This is a bugfix, because the language standard disallows using
    keywords as record labels. However, some users were relying on
    this bug.
  • If you need to use a keyword as a record label, enclose it in backticks:
    { `assert` = 1 }.
• Fix invalid cache entries
  • The interpreter will now correct cached expressions that are incorrect
    and warn you when this happens
  • Specifically, if there is a hash mismatch from the cached expression the
    interpreter will resolve the import again and fix the cache if the
    resolved import matches the expected hash
• Make encodeExpression polymorphic
  • encodeExpression now has a more general type, which means that you
    can use it to serialise expressions without imports (i.e.
    ones of type Expr Void Void)
• Add --quiet option for dhall decode
• Add --noted flag for dhall haskell-syntax-tree
• Performance improvements:
  • There were several performance improvements related to binary decoding,
    which should improve cache lookup speed
  • #1807
  • #1809
  • #1857
• Improvements to error messages
  • #1824
  • #1849
  • #1851
• Fixes to haddocks
  • #1815