dhall changelog and releases

All Versions

Latest Version

1.35.0

Avg Release Cycle

32 days

Latest Release

16 days ago

Changelog History

Page 1

v1.35.0
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
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
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
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
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
- 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
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
- 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
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
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
v1.29.0
January 13, 2020
- 🚀 Supports version 13.0.0 of the standard
- 💥 BREAKING CHANGE: Generate Haskell datatype declarations from Dhall types
  - You can now use the makeHaskellTypeFromUnion Template Haskell utility
    to generate a Haskell datatype declaration from a Dhall union type
  - This helps ensure that your Haskell types and Dhall types stay in sync,
    when you want the Dhall type to be the source of truth
  - This is a breaking change because the default InterpretOptions changed
    0️⃣ the default handling of singleton constructors from Wrapped to Smart
  - You can preserve the old behavior using:
    0️⃣ autoWith defaultInterpretOptions{ singletonConstructors = Wrapped }
- 🐛 BUG FIX: Fix dhall freeze --cache and dhall lint to preserve let-related comments
  - Now they match the behavior of dhall format with regard to preserving
    these comments
- 🐛 BUG FIX: Fix escaping of significant leading whitespace when formatting code
  - The formatter would sometimes unnecessarily escape significant leading
    whitespace for the final line of multiline string literals, which this
    🔄 change fixes
- 🐛 BUG FIX: Fix dhall encode --json for Double values
- 🆕 NEW FEATURE: dhall to-directory-tree command
  - You can now generate a directory tree from a Dhall expression
  - Specifically:
  - records are converted to directories
  - Text fields are converted to files named after the field
  - Optional values are omitted if None
  - Everything else is rejected
- 🆕 NEW FEATURE: Hexadecimal literals
  - See the changelog for standard version 13.0.0 for more details
- 🆕 NEW FEATURE: merge works on Optional values
  - See the changelog for standard version 13.0.0 for more details
- Improve formatter
  - dhall format will now render expressions nested inside record fields or
    alternatives more compactly, including:
  - Records
  - Record completion expressions
  - Expressions wrapped in Some
  - Lists
- Exclude the using ... suffix from imports listed by dhall resolve
  - Specifically when using the --{immediate,transitive}-dependencies flags
v1.28.0
December 06, 2019
- 🚀 Supports version 12.0.0 of the standard
- 💥 BREAKING CHANGE: Add Integer/{clamp,negate} built-ins
  - This is a technically breaking change API since this adds a new
    constructor to the Expr type
  - This is also a technically breaking change to the language. See the changelog for standard version 12.0.0 for more details
- 💥 BREAKING CHANGE: Remove support for fusion
  - This is also a technically breaking change to the language. See the changelog for standard version 12.0.0 for more details
- 💥 BREAKING CHANGE: Parse whitespace more precisely
  - The Haskell implementation now matches the official grammar much more
    closely, but as a result will now reject some programs that it used to
    accept
  - For example, 1:Natural used to be valid and now is no longer valid as
    the standard requires mandatory whitespace after the :
  - Consult the standard grammar if you run into a new parsing error as a result of this change
  - This is also a parsing performance regression (specifically for parsing
    👀 comments), but should not be noticeable in practice. See #1512 for more details
- 💥 BREAKING CHANGE: Rename Type to Decoder and InputType to Encoder #1483 / #1489
- 🐛 BUG FIX: Fix dhall format --check
  - Before this change dhall format --check would fail due to attempting to
    read all of standard input in twice
- 🐛 BUG FIX: Fix dhall freeze to always re-freeze an import
  - Before this fix, dhall freeze would not attempt to refreeze an already
    frozen import
- Permit spaces around completion operator
  - See the changelog for standard version 12.0.0 for more details
- Make missing referentially transparent
  - missing can now be imported transitively via a remote import
  - Normally resolving missing would still still fail, except for
    missing as Location, which is now a valid transitive import
  - See the changelog for standard version 12.0.0 for more details
- Write cache files atomically
  - This is a resilience improvement so that the cache is not left in a
    corrupt state in the event of a power outage or exhausting disk/memory
- New Dhall.function utility
  - This is provides the same functionality as the Interpret instance for
    (->), except without the use of typeclasses
- New dhall haskell-syntax-tree command
  - This command displays the Haskell syntax tree of an expression
    (primarily for debugging purposes)
  - Note that this is highly-volatile and subject to change, so don't depend
    on this programmatically. We may break the output of this command without
    any notice.
- Add instance Show Ann
- 🚚 Move normalization code from Dhall.Core to Dhall.Normalize
  - Note that this is not a breaking change. The relocated utilities are
    still re-exported from Dhall.Core
- Fix dhall resolve --transitive-dependencies to list dependencies in "post-order"
- 🐎 Performance improvements
  - #1500
  - #1522
  - #1568
  - #1580
- 🛠 Fixes and improvements to code formatting
  - #1460
  - #1466
  - #1508
  - #1527
  - #1422
  - #1552
  - #1543
  - #1554
  - #1569
- 🛠 Fixes and improvements to code linting
  - #1518
  - #1531
- 🛠 Fixes and improvements to error messages
  - #1443
  - #1448
  - #1482
  - #1519
  - #1556
  - #1528
- 🛠 Fixes and improvements to the parser
  - #1473
  - #1549
  - #1563
  - #1584
- 🛠 Fixes and improvements to diffs
  - #1585
- 🛠 Fixes and improvements to the REPL
  - #1573
- 🛠 Fixes and improvements to documentation
  - #1530

dhall changelog

A configuration language guaranteed to terminate

Changelog History Page 1

Changelog History

Page 1