dhall changelog

Changelog History

Page 1

• v1.37.0 Changes

  December 07, 2020

  • 🚀 Supports version 20.0.0 of the standard
    • Implement revised Text/replace β-normalization
    • Allow Text/replace "" to support an abstract haystack
    • Support if expressions returning a type or kind
  • 💥 BREAKING CHANGE TO THE API: Improve error message for duplicate projection label
    • This also makes the implementation more standards-compliant, by treating
      📜 a duplicate label as a type error instead of a parse error
    • This is a breaking change since the Project constructor now stores a
      [Text] instead of Set Text
  • Add --cache flag to dhall hash
    • This flag adds the hashed expression to the cache when enabled
  • 🗄 Deprecate Inject / Interpret
    • You should instead use ToDhall / FromDhall, respectively
  • 🛠 Fixes and improvements to the haddocks:
    • #2098
    • #2100
  • 🛠 Fixes and improvements to error messages:
    • #2082
    • #2095
  • 🛠 Fixes and improvements to the parser:
    • #2083
  • 🛠 Fixes and improvements to the pretty printer:
    • #2083
    • #2101

• v1.36.0 Changes

  October 21, 2020

  • 🚀 Supports version 19.0.0 of the standard
    • BREAKING CHANGE TO THE API: Add Text/replace built-in
    • Implement with without syntactic sugar
  • 👕 dhall lint will now add a .dhall extension to all Prelude imports
    • The old extension-free Prelude imports are deprecated
  • Fix command-line completions for files
  • 👍 Improve Template Haskell support for record constructors
  • 🛠 Fixes and improvements to code formatting
    • #2037
    • #2048
    • #2069

• v1.35.0 Changes

  September 11, 2020

  • 🚀 Supports version 18.0.0 of the standard
    • Implement more efficient with desugaring
    • Chained with expressions will now be much more efficient
  • BREAKING CHANGE TO THE API: Preserve whitespace for Lam constructor
    • This change extends the Lam constructor to preserve whitespace around
      the variable binding
    • The motivation for this change is to enable dhall-docs to support
      jumping to definitions
    • You can replace your existing Lam constructors with
      Dhall.Core.makeFunctionBinding
  • BREAKING CHANGE TO THE API: Preserve whitespace for Field constructors
    • This change extends the Field constructor to preserve whitespace around
      the selected field
    • The motivation for this change is to enable dhall-docs to support
      jumping to definitions
    • You can use Dhall.Core.makeFieldSelection and
      Dhall.Core.fieldSelectionLabel to convert between the detailed and the
      simple representation of the selected field.
  • Add FromDhall instances for {Int,Word}{,8,16,32,64}
  • Add --output option for dhall text subcommand
  • Add Dhall.Crypto.toString
  • 🔧 Make the HTTP Manager configurable
    • Several import-related functions now provide an alternative variants that
      👍 allows the user to supply a custom Manager
    • You can use this to tweak HTTP request timeouts or use a different TLS
      manager (e.g. one from http-client-openssl)
  • 🛠 Fixes and improvements to code formatting

  #2000

  #2021

  The formatter now preserves comments for record fields (both record types
  and record literals)

  • 🛠 Fixes and improvements to documentation
    • #2011
    • #2013
    • #2014
  • 🛠 Fixes and improvements to test suite
    • #2020

• v1.34.0 Changes

  August 03, 2020

  • 🚀 Supports version 17.1.0 of the standard
    • Add support for trailing commas
  • 💥 BREAKING CHANGE to the API: Support prefix comments on record key-value pairs
    • The Dhall AST (i.e. Expr) now preserves some comments for record types
      and record literals
    • The impact of this change is that you will need to add
      Dhall.Syntax.makeRecordField or Dhall.Syntax.recordFieldValue in a few
      places wherever your Haskell assembles or disassembles record expressions
    • The motivation of this change is two-fold:
    • To eventually enable dhall-docs support for rendering record
      📚 comments as documentation
    • To eventually enable support for preserving record-related comments
      when formatting Dhall code
  • 🐛 BUG FIX: Fix with expressions to permit functions on their left-hand side
    • This was a case of the Haskell implementation not being compliant with the
      standard grammar
  • 👍 Drop support for GHC 8.2
  • Add a new dhall rewrite-with-schemas command
    • You can now simplify a Dhall expression using a schema record (e.g. a
      📦 ./schemas.dhall record that a package might provide)
    • This simplification replaces large anonymous records with an
      equivalent use of a record completion when possible
  • 👕 Add --transitive flag to dhall {format,lint,freeze}
    • This flag lets you format/lint/freeze a file and all of its transitive
      dependencies that are reachable via relative file imports
  • 🚚 Move man/dhall.1 to data-files
    • This ensures that Cabal will install dhall's man pages in the
      correct directory
  • 🐎 Performance improvements
    • #1879
  • Standards compliance
    • #1953
    • #1954
    • #1956
    • #1957
    • #1958
  • 🛠 Fixes and improvements to haddocks
    • #1881
    • #1955

• v1.33.1 Changes

  June 23, 2020

  • 👍 Multi-line REPL / support repline-0.4.0.0
    • dhall repl supports a new :paste command that lets you input a command
      by pasting one or more lines

• v1.33.0 Changes

  June 18, 2020

  • 🚀 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)
  • 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

• v1.32.0 Changes

  May 08, 2020

  • 🚀 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

• v1.31.1 Changes

  April 01, 2020

  • 🐛 BUG FIX: Allow whitespace after record pun entry
    • The record pun feature introduced in the previous release did not
      📜 correctly parse record puns with trailing whitespace, which this change
      🛠 fixes.
  • 0️⃣ Expose {default,}InputNormalizer
    • The previous version introduced a breaking change to the autoWith type
      that required access to the implementation of InputNormalizer, which was
      🛠 not exported. This change fixes that.
  • 🏗 Build against latest dependencies
    • QuickCheck-2.14
    • haskell-lsp-0.21
    • repline-0.3 / haskeline-0.8
    • template-haskell-2.16
  • Prefer to format using record puns when possible
    • dhall format will now reformat code to use record puns when applicable
  • 🛠 Fixes and improvements to error messages:
    • #1721

• v1.31.0 Changes

  March 29, 2020

  • 🚀 Supports version 15.0.0 of the standard
    • Implement with keyword
    • You can now write someRecord with a.b.c = x to update a nested
      fields
    • Add support for record puns
    • You can now write { x, y } as a shorthand for { x = x, y = y }
  • 💥 BREAKING CHANGE TO THE API: Auto-derive Generic/FromDhall/ToDhall with Template Haskell
    • Now the Dhall.TH.makeHaskell* utilities will include these derived
      instances in the generated declarations
    • This is a breaking change since users were likely already generating these
      instances separately, which will now conflict with the included instances
  • 💥 BREAKING CHANGE TO THE API: From/ToDhall no longer takes InterpretOptions argument
    • The types of the autoWith and injectWith methods have changed to
      take an InputNormalizer instead of an InterpretOptions
    • Note that InputNormalizer is a subset of InterpretOptions
    • This is a breaking change to how derived FromDhall / ToDhall instances
      📦 are customized to more closely match how other Haskell packages customize
      derived instances (e.g. aeson with FromJSON / ToJSON)
    • Previously you would customize the behavior globally by passing in
      a top-level InterpretOptions record to autoWith
    • Now you can customize the behavior locally on a per-instance basis
    • This change enables the following change ...
  • Add Dhall.Deriving module for deriving-via helpers
    • Now you can take advantage of the -XDerivingVia language extension to
      customize derived FromDhall/ToDhall instances, like this:
    • deriving (FromDhall, ToDhall) via Codec (SetSingletonConstructors Bare) Name
  • 💥 BREAKING CHANGE TO THE LANGUAGE: Match standard with respect to using toMap
    • https://example.com using toMap customHeaders is now a parse error
      and needs to be explicitly parenthesized as
      https://example.com using (toMap customHeaders)
    • The language standard had always required the parentheses, but the Haskell
      implementation was not correctly matching the standard
  • Fix formatting of indented comments containing empty lines
    • dhall format was previously not idempotent when formatting indented
      comments with empty lines
    • Specifically, the formatter kept indenting things further with each
      🛠 format, which this change fixes
  • 🖨 Fix pretty-printer to preserve original numeric literals
    • Now dhall format will preserve numeric literals exactly how you wrote
      them
    • For example, 0xFF will no longer be reformatted as 255
  • 👍 Add dhall to-directory-tree support for Maps
    • Maps are now converted to directories (just like records)
  • Add manpage
    • ... mainly for the benefit of people packaging Dhall for various
      distributions
  • Group commands in CLI
    • The command-line --help output now groups commands into useful
      sections
  • 📜 Fix numeric parsing for GHCJS
    • The GHCJS backend for Dhall was failing to parse numbers, which this
      🔄 change fixes
  • 🛠 Fixes and improvements to error messages:
    • #1656
    • #1698
    • #1702
  • 🛠 Fixes and improvements to the haddocks:
    • #1708
    • #1712

• v1.30.0 Changes

  February 15, 2020

  • 🚀 Supports version 14.0.0 of the standard
  • 💥 BREAKING CHANGE TO THE API: Add --check flag to dhall {lint,freeze}
    • You can now use the --check flag to verify that a file has already been
      👕 linted or frozen
    • This is a breaking change to the types used by the Dhall.Format module
  • 💥 BREAKING CHANGE TO THE LANGUAGE: Disallow Natural literals with leading zeros
    • Now a literal like 042 is no longer valid
    • See the changelog for standard version 14.0.0 for more details
  • 🐛 BUG FIX: Fix parsing of Double literal trailing whitespace
    • Certain expressions using Double literals would fail to parse, which this
      🔄 change fixes
  • 🐛 BUG FIX: Use DeriveLift instead of GHC Generics to derive Lift
    • This fixes a build failure on GHC 8.10
  • 👍 Drop support for GHC 7.10.3
    • GHC 8.0.2 is now the earliest supported version
  • 👍 Add support for dotted field syntax
    • { x.y.z = 1 } now legal syntax for nested fields
    • See the changelog for standard version 14.0.0 for more details
  • 👍 Add support for duplicate record fields
    • This combines with the previous feature to let you write
      { x.y = 1, x.z = True }, which is equivalent to
      { x = { y = 1, z = True } }
    • See the changelog for standard version 14.0.0 for more details
  • 👕 Add dhall lint support for deprecating Optional/{fold,build}
    • The Optional/{fold,build} built-ins are deprecated and can be implemented
      in terms of other language features
    • Optional/fold can be implemented in terms of merge (which now works on
      Optional values)
    • Optional/build could always be implemented using Some/None
    • dhall lint now transforms the deprecated built-ins to use their
      🆓 equivalent built-in-free versions
  • 👍 Support Template Haskell for multiple datatypes
    • This extends the Template Haskell support added in the previous release to
      work for datatypes that refer to one another
  • 👍 Add support for custom substitutions
    • You can now add custom substitutions, which are like let bindings that
      propagate to transitive imports
  • 🛠 Small formatting fixes

• 1
• 2
• 3
• Next ›
• Last »