Version 1.12.0 → 1.13.0 (#368)

dhall-lang · Apr 28, 2018 · 3fb4d0e · 3fb4d0e
1 parent e65afac
commit 3fb4d0e
Show file tree

Hide file tree

Showing 4 changed files with 59 additions and 6 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -1,3 +1,56 @@
+1.13.0
+
+* BUG FIX: Fix semantic integrity hashing support
+    * Both parsing and pretty-printing semantic hashes were broken since version
+      1.11.0
+    * See: https://github.com/dhall-lang/dhall-haskell/pull/345
+* BUG FIX: Allow leading whitespace in interpolated expresssions
+    * See: https://github.com/dhall-lang/dhall-haskell/pull/369
+* BUG FIX: Fix `deriving (Interpret)` for sum types
+    * The types of alternatives were not correctly included in the corresponding
+      Dhall type
+    * See: https://github.com/dhall-lang/dhall-haskell/pull/348
+* BREAKING CHANGE TO LANGUAGE: Records cannot store both types and terms
+    * Records can also not store type-level functions (like `List`)
+        * Records might be allowed to store type-level functions again in the
+          future
+    * This fixes a potential soundness bug
+    * The primarily practical consequence of this change is that if you are
+      hosting a "package" then you will need to split terms and types from your
+      package into different records for your users to import
+    * This also implies removing the `./Monoid` type-level function from the
+      `./Prelude/package.dhall` record
+    * See: https://github.com/dhall-lang/dhall-haskell/pull/335
+* BREAKING CHANGE TO THE API: Replace `trifecta` with `megaparsec`
+    * This change the API to use the `Parser` type from `megaparsec`
+    * This also slightly changes the type of `exprFromText`
+    * If you program using the type classes provided by the `parsers` library
+      then this is not a breaking change as that interface is preserved
+    * See: https://github.com/dhall-lang/dhall-haskell/pull/268
+* BREAKING CHANGE TO THE API: New `⩓` operator for merging record types
+    * Example: `{ foo : Text } ⩓ { bar : Bool } = { foo : Text, bar : Bool }`
+    * This is breaking because it adds a new constructor to the `Expr` type
+    * See: https://github.com/dhall-lang/dhall-haskell/pull/342
+* BREAKING CHANGE TO THE API: New support for projecting a subset of fields
+    * Example: `{ x = 1, y = 2, z = 3 }.{ x, y } = { x = 1, y = 2 }`
+    * This is breaking because it adds a new constructor to the `Expr` type
+    * See: https://github.com/dhall-lang/dhall-haskell/pull/350
+* API+UX feature: New support for pretty-printing diffs of Dhall expressions
+    * Error messages also use this feature to simplify large type mismatches
+    * There is also a new `Dhall.Diff` module
+    * See: https://github.com/dhall-lang/dhall-haskell/pull/336
+* Add `version`, `resolve`, `type`, and `normalize` sub-commands to interpreter
+    * See: https://github.com/dhall-lang/dhall-haskell/pull/352
+* Support GHC 7.10.3
+    * See: https://github.com/dhall-lang/dhall-haskell/pull/340
+* `:type` command in `dhall-repl` now only displays the type
+    * Before it would also display the original expression
+    * See: https://github.com/dhall-lang/dhall-haskell/pull/344
+* Trim dependency tree
+    * See: https://github.com/dhall-lang/dhall-haskell/pull/351
+    * See: https://github.com/dhall-lang/dhall-haskell/pull/268
+    * See: https://github.com/dhall-lang/dhall-haskell/pull/355
+
 1.12.0
 
 * Additional changes to support GHC 8.4

diff --git a/README.md b/README.md
@@ -1,4 +1,4 @@
-# `dhall 1.12.0`
+# `dhall 1.13.0`
 
 `dhall` is a total programming language specialized to configuration files
 

diff --git a/default.nix b/default.nix
@@ -9,7 +9,7 @@
 }:
 mkDerivation {
   pname = "dhall";
-  version = "1.12.0";
+  version = "1.13.0";
   src = ./.;
   isLibrary = true;
   isExecutable = true;

diff --git a/dhall.cabal b/dhall.cabal
@@ -1,5 +1,5 @@
 Name: dhall
-Version: 1.12.0
+Version: 1.13.0
 Cabal-Version: >=1.8.0.2
 Build-Type: Simple
 Tested-With: GHC == 8.0.1
@@ -207,7 +207,7 @@ Executable dhall
         optparse-applicative                       < 0.15,
         prettyprinter                                    ,
         prettyprinter-ansi-terminal >= 1.1.1    && < 1.2 ,
-        megaparsec                  >= 6.4.0    && < 6.5 ,
+        megaparsec                  >= 6.1.1    && < 6.5 ,
         text                        >= 0.11.1.0 && < 1.3
     GHC-Options: -Wall
     Other-Modules:
@@ -237,7 +237,7 @@ Executable dhall-format
         base                        >= 4        && < 5   ,
         ansi-terminal               >= 0.6.3.1  && < 0.9 ,
         dhall                                            ,
-        megaparsec                  >= 6.4.0    && < 6.5 ,
+        megaparsec                  >= 6.1.1    && < 6.5 ,
         optparse-applicative                       < 0.15,
         prettyprinter               >= 1.2.0.1  && < 1.3 ,
         prettyprinter-ansi-terminal >= 1.1.1    && < 1.2 ,
@@ -253,7 +253,7 @@ Executable dhall-hash
         base                 >= 4        && < 5   ,
         dhall                                     ,
         optparse-applicative                < 0.15,
-        megaparsec           >= 6.4.0    && < 6.5 ,
+        megaparsec           >= 6.1.1    && < 6.5 ,
         text                 >= 0.11.1.0 && < 1.3
     Other-Modules:
         Paths_dhall