From dbe8d7a21cd481bea8337dd1233f2df346cfa445 Mon Sep 17 00:00:00 2001 From: Gabriel Gonzalez Date: Mon, 15 Oct 2018 21:08:44 -0700 Subject: [PATCH] =?UTF-8?q?Version=201.17.0=20=E2=86=92=201.18.0=20(#636)?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- CHANGELOG.md | 80 ++++++++++++++++++++++++++++++++++++++++++++++++++++ README.md | 2 +- dhall.cabal | 2 +- 3 files changed, 82 insertions(+), 2 deletions(-) diff --git a/CHANGELOG.md b/CHANGELOG.md index 89a7ece80..dafcb2236 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -1,3 +1,83 @@ +1.18.0 + +* Supports version 3.0.0 of the language standard: + * See: https://github.com/dhall-lang/dhall-lang/releases/tag/v3.0.0 +* BREAKING CHANGE TO THE LANGUAGE AND API: New `Some`/`None` constructors for + `Optional` values + * Example: `[ Some 1, None Natural ]` + * This is a breaking change to the language because `Some` and `None` are + now reserved keywords + * This is a breaking change to the API because `Some` and `None` are new + constructors for the `Expr` type +* BREAKING CHANGE TO THE LANGUAGE AND API: Support for kind polymorphism + * This adds a new `Sort` constant above `Kind` in the hierarchy + * i.e. `Type : Kind : Sort` + * This is a breaking change to the language because `Sort` is now a + reserved keyword + * This is a breaking change to the API because `Sort` is a new + constructor for the `Expr` type +* BREAKING CHANGE TO THE API: New `Dhall.Map` module + * This replaces `InsOrdHashMap` in the API + * The primary motivation is to improve performance and to remove the + dependency on `insert-ordered-containers` +* BREAKING CHANGE TO THE API: Use standard version instead of protocol version + * The binary protocol is now versioned alongside the standard + * The `ProtocolVersion` type is renamed to `StandardVersion` and the + * `--protocol-version` option is renamed to `--standard-version` + * See: https://github.com/dhall-lang/dhall-haskell/pull/634 +* BUG FIX: Fix import chaining for custom header imports + * See: https://github.com/dhall-lang/dhall-haskell/pull/618 +* BUG FIX: Fix import chaining for imports protected by semantic integrity + checks + * See: https://github.com/dhall-lang/dhall-haskell/pull/584 +* BUG FIX: Record literals and types produced by `∧`/`⫽`/`⩓` are now sorted + * This ensures that β-normalization is idempotent + * See: https://github.com/dhall-lang/dhall-haskell/pull/572 +* BUG FIX: `dhall freeze` now correctly handles the starting file being + located outside the current working directory + * See: https://github.com/dhall-lang/dhall-haskell/commit/a22aa79d1957be9ecf166ea066e2a9a5b309e1ae +* BUG FIX: Fix parsing of IPv4-mapped IPv6 addresses + * See: https://github.com/dhall-lang/dhall-haskell/pull/632 +* FEATURE: New `--ascii` flag for ASCII output + * See: https://github.com/dhall-lang/dhall-haskell/pull/570 +* FEATURE: New `dhall encode` and `dhall decode` subcommands + * These allow you to transform Dhall source code to and from its binary + representation + * See: https://github.com/dhall-lang/dhall-haskell/pull/588 +* LARGE parsing performance improvements + * Parsing is about 10x-100x faster on most code + * See: https://github.com/dhall-lang/dhall-haskell/pull/591 + * See: https://github.com/dhall-lang/dhall-haskell/pull/592 + * See: https://github.com/dhall-lang/dhall-haskell/pull/597 + * See: https://github.com/dhall-lang/dhall-haskell/pull/601 + * See: https://github.com/dhall-lang/dhall-haskell/pull/602 + * See: https://github.com/dhall-lang/dhall-haskell/pull/604 + * See: https://github.com/dhall-lang/dhall-haskell/pull/606 +* Type-checking performance improvements: + * See: https://github.com/dhall-lang/dhall-haskell/pull/566 +* Normalization performance improvements: + * See: https://github.com/dhall-lang/dhall-haskell/pull/610 +* `dhall freeze` now caches the imports as it freezes them + * See: https://github.com/dhall-lang/dhall-haskell/pull/587 +* `dhall freeze` now refreezes imports with invalid semantic integrity checks + * See: https://github.com/dhall-lang/dhall-haskell/pull/637 +* `dhall freeze` now adds a trailing newline + * See: https://github.com/dhall-lang/dhall-haskell/pull/629 +* Build against `megaparsec-7.0.*` + * See: https://github.com/dhall-lang/dhall-haskell/pull/565 +* Support GHC 8.6 + * See: https://github.com/dhall-lang/dhall-haskell/pull/599 + * See: https://github.com/dhall-lang/dhall-haskell/pull/623 +* Support GHC all the way back to 7.10.3 + * See: https://github.com/dhall-lang/dhall-haskell/pull/595 + * See: https://github.com/dhall-lang/dhall-haskell/pull/621 +* Improvements to error messages: + * See: https://github.com/dhall-lang/dhall-haskell/pull/563 + * See: https://github.com/dhall-lang/dhall-haskell/pull/576 + * See: https://github.com/dhall-lang/dhall-haskell/pull/583 + * See: https://github.com/dhall-lang/dhall-haskell/pull/589 + + 1.17.0 * This release corresponds to version 2.0.0 of the language standard diff --git a/README.md b/README.md index 4ae3681af..03fa4e65b 100644 --- a/README.md +++ b/README.md @@ -1,4 +1,4 @@ -# `dhall 1.17.0` +# `dhall 1.18.0` `dhall` is a total programming language specialized to configuration files diff --git a/dhall.cabal b/dhall.cabal index 29a8b7dd6..e8442d7f9 100644 --- a/dhall.cabal +++ b/dhall.cabal @@ -1,5 +1,5 @@ Name: dhall -Version: 1.17.0 +Version: 1.18.0 Cabal-Version: >=1.10 Build-Type: Simple Tested-With: GHC == 8.0.1