dhall-1.27.0

• Supports version 11.0.0 of the standard
• BREAKING CHANGE: Rename Inject/Interpret to ToDhall/FromDhall
  • This change ConstraintKinds to minimize disruption by keeping around
    Inject/Interpret as synonyms for ToDhall/FromDhall
  • In other words, constraints and derived instances using Inject or
    Interpret will still work
  • However, manual instances using Inject or Interpret won't work
    unless you rename them to ToDhall/FromDhall or enable the
    TypeSynonymInstances extension
• BREAKING CHANGE: Fix Eq instance for Exprs with special Doubles
  • This fixes the Eq instance for Exprs to match the standard regarding
    Double comparisons
  • Specifically: NaN == NaN and -0.0 /= 0.0
  • This is a breaking change because the DoubleLit constructor of Expr
    now stores a DhallDouble instead of a Double
• BREAKING CHANGE: Add --file option for dhall hash
  • This is a breaking change because it also removes the Dhall.Hash module,
    which wasn't really carrying its own weight
• 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 tags subcommand
  • This generates an ETags file from an input file or directory
• Add dhall lint support for fixing malformed assertions
  • dhall lint now fixes let example = foo === bar to be
    let example = assert : foo === bar
• Normalize inferred types #1337
• New FromDhall/ToDhall (previously Interpret/Inject) instances for:
  • Void
  • Map #1391 / #1412
  • HashMap
  • Set and HashSet
  • ()
• Add --output option to dhall
• Move syntax things from Dhall.Core to a new Dhall.Syntax module
  • This is not a breaking change. Dhall.Core still re-exports the same
    API as before
• Performance improvements
  • #1362
  • #1366
  • #1368
  • #1397
  • #1401
• Fixes and improvements to code formatting
  • #1360
  • #1372
  • #1380
  • #1415