From befd0ed8a7cee4c4174c69f8da2f1713bb35fb1d Mon Sep 17 00:00:00 2001
From: Gabriel Gonzalez <Gabriel439@gmail.com>
Date: Fri, 31 Aug 2018 07:39:06 -0700
Subject: [PATCH] =?UTF-8?q?Version=201.16.1=20=E2=86=92=201.17.0=20(#556)?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 CHANGELOG.md | 43 +++++++++++++++++++++++++++++++++++++++++++
 README.md    |  2 +-
 dhall.cabal  |  2 +-
 3 files changed, 45 insertions(+), 2 deletions(-)

diff --git a/CHANGELOG.md b/CHANGELOG.md
index eb0129f..89a7ece 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -1,3 +1,46 @@
+1.17.0
+
+* This release corresponds to version 2.0.0 of the language standard
+* BREAKING CHANGE TO THE LANGUAGE AND API: Binary serialization support
+    * This is a breaking change to the hash for all semantic integrity checks
+    * The hash used by the semantic integrity check is now based on the
+      binary representation instead of a text representation of the
+      expression
+    * You can pin the new hashes by supplying the `--protocol-version 1.0`
+      option on the command line until you need support for newer language
+      features 
+    * This also includes a breaking change to `ImportType` in the API
+* BREAKING CHANGE TO THE LANGUAGE: Disallow combining records of terms and
+  types
+    * This is mainly for consistency and to improve type errors that would
+      have otherwise happened further downstream
+    * This should not affect the vast majority of code
+    * See: https://github.com/dhall-lang/dhall-haskell/pull/538
+* BUG FIX: Semantic integrity checks now work for imported expression using
+  the `constructors` keyword
+    * See: https://github.com/dhall-lang/dhall-haskell/pull/554
+* BUG FIX: Fix α-normalization of expressions with bound variables named `_`
+    * See: https://github.com/dhall-lang/dhall-haskell/pull/524
+* BUG FIX: Fix `isNormalized` to match `normalize`
+    * See: https://github.com/dhall-lang/dhall-haskell/pull/522
+* BUG FIX: `dhall lint` now correctly handles nested `let` expressions
+    * See: https://github.com/dhall-lang/dhall-haskell/pull/555
+* FEATURE: Imports protected by a semantic integrity check are now cached
+    * See: https://github.com/dhall-lang/dhall-haskell/pull/533
+* The default `dhall` command no longer outputs the type to `stderr`
+    * You can add back the type as a type annotation using the
+      `--annotate` switch
+    * See: https://github.com/dhall-lang/dhall-haskell/pull/544
+* New utilities for building `InputTypes`
+    * See: https://github.com/dhall-lang/dhall-haskell/pull/530
+* Improve parsing performance for long variable names
+    * See: https://github.com/dhall-lang/dhall-haskell/pull/526
+* More succinct type diffs for function types
+    * See: https://github.com/dhall-lang/dhall-haskell/pull/540
+* Identifier names can now begin with keywords
+    * i.e. `ifChanged` and `lettuce` are now legal identifiers
+    * See: https://github.com/dhall-lang/dhall-haskell/pull/551
+
 1.16.1
 
 * Fix test failure due to missing test data file
diff --git a/README.md b/README.md
index d0a0904..4ae3681 100644
--- a/README.md
+++ b/README.md
@@ -1,4 +1,4 @@
-# `dhall 1.16.1`
+# `dhall 1.17.0`
 
 `dhall` is a total programming language specialized to configuration files
 
diff --git a/dhall.cabal b/dhall.cabal
index 53c3b64..1c818ad 100644
--- a/dhall.cabal
+++ b/dhall.cabal
@@ -1,5 +1,5 @@
 Name: dhall
-Version: 1.16.1
+Version: 1.17.0
 Cabal-Version: >=1.10
 Build-Type: Simple
 Tested-With: GHC == 8.0.1