From 4a085aa3d622886cf7dd96a1ad475ba914d5ab1f Mon Sep 17 00:00:00 2001 From: Gabriel Gonzalez Date: Mon, 12 Mar 2018 11:09:54 -0700 Subject: [PATCH] =?UTF-8?q?Version=201.11.0=20=E2=86=92=201.11.1=20(#323)?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- CHANGELOG.md | 15 +++++++++++++++ README.md | 2 +- default.nix | 2 +- dhall.cabal | 2 +- 4 files changed, 18 insertions(+), 3 deletions(-) diff --git a/CHANGELOG.md b/CHANGELOG.md index d9e6f75..316a695 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -1,3 +1,18 @@ +1.11.1 + +* Support GHC 8.4 + * See: https://github.com/dhall-lang/dhall-haskell/pull/321 +* Fix α-normalization bug + * Note that this is not a type-checking bug. This only affects users who + were directly using the `alphaNormalize` function from the Haskell API + because `let` expressions were not correctly α-normalized + * See: https://github.com/dhall-lang/dhall-haskell/pull/319 +* Slight tweak to syntax highlighting + * See: https://github.com/dhall-lang/dhall-haskell/pull/324 +* Increase upper bound on `ansi-terminal` and `exceptions` + * See: https://github.com/dhall-lang/dhall-haskell/pull/322 + * See: https://github.com/dhall-lang/dhall-haskell/pull/325 + 1.11.0 * BREAKING CHANGE TO THE API: Fix `{Natural,Optional,List}/build` semantics to diff --git a/README.md b/README.md index eaf7888..937fd05 100644 --- a/README.md +++ b/README.md @@ -1,4 +1,4 @@ -# `dhall 1.11.0` +# `dhall 1.11.1` `dhall` is a total programming language specialized to configuration files diff --git a/default.nix b/default.nix index 46b6473..94366fe 100644 --- a/default.nix +++ b/default.nix @@ -10,7 +10,7 @@ }: mkDerivation { pname = "dhall"; - version = "1.11.0"; + version = "1.11.1"; src = ./.; isLibrary = true; isExecutable = true; diff --git a/dhall.cabal b/dhall.cabal index 670544d..eebb9d2 100644 --- a/dhall.cabal +++ b/dhall.cabal @@ -1,5 +1,5 @@ Name: dhall -Version: 1.11.0 +Version: 1.11.1 Cabal-Version: >=1.8.0.2 Build-Type: Simple Tested-With: GHC == 8.0.1