Version 1.22.0 → 1.22.1

dhall-bash/dhall-bash.cabal

@@ -31,7 +31,7 @@ Library
         base                      >= 4.8.0.0 && < 5   ,
         bytestring                              < 0.11,
         containers                              < 0.7 ,
-        dhall                     >= 1.22.0  && < 1.23,
+        dhall                     >= 1.22.0  && < 1.24,
         neat-interpolation                      < 0.4 ,
         shell-escape                            < 0.3 ,
         text                      >= 0.2     && < 1.3

dhall-json/dhall-json.cabal

@@ -35,7 +35,7 @@ Library
     Build-Depends:
         base                      >= 4.8.0.0  && < 5   ,
         aeson                     >= 1.0.0.0  && < 1.5 ,
-        dhall                     >= 1.22.0   && < 1.23,
+        dhall                     >= 1.22.0   && < 1.24,
         optparse-applicative      >= 0.14.0.0 && < 0.15,
         text                      >= 0.11.1.0 && < 1.3 ,
         unordered-containers                     < 0.3

dhall-nix/dhall-nix.cabal

@@ -30,7 +30,7 @@ Library
         base                      >= 4.8.0.0 && < 5   ,
         containers                              < 0.7 ,
         data-fix                                < 0.3 ,
-        dhall                     >= 1.22    && < 1.23,
+        dhall                     >= 1.22    && < 1.24,
         hnix                      >= 0.5     && < 0.7 ,
         neat-interpolation                      < 0.4 ,
         text                      >= 0.8.0.0 && < 1.3

dhall-text/dhall-text.cabal

@@ -25,7 +25,7 @@ Executable dhall-to-text
     Main-Is: Main.hs
     Build-Depends:
         base                 >= 4.8.0.0  && < 5   ,
-        dhall                >= 1.15.0   && < 1.23,
+        dhall                >= 1.15.0   && < 1.24,
         optparse-applicative                < 0.15,
         text                 >= 0.11.1.0 && < 1.3
     GHC-Options: -Wall

dhall-try/dhall-try.cabal

@@ -16,7 +16,7 @@ executable dhall-try
   main-is:             Main.hs
   build-depends:       base           >= 4.11.0.0 && < 5
                      , aeson-pretty   >= 0.8.7    && < 0.9
-                     , dhall          >= 1.19.0   && < 1.23
+                     , dhall          >= 1.19.0   && < 1.24
                      , dhall-json     >= 1.2.5    && < 1.3
                      , prettyprinter  >= 1.2.1    && < 1.3
                      , text           >= 1.2.3.0  && < 1.3

dhall/CHANGELOG.md

@@ -1,3 +1,50 @@
+1.23.0
+
+* BREAKING CHANGE: Fix marshaling union literals
+    * 1.22.0 introduced two separate bugs in marshaling union literals between
+      Dhall and Haskell, which this release fixes:
+        * Dhall enums did not correctly map onto Haskell enums
+        * New-style union literals (i.e. `< A : T >.A x`) were not correctly
+          supported
+    * See: https://github.com/dhall-lang/dhall-haskell/pull/918
+    * See: https://github.com/dhall-lang/dhall-haskell/pull/927
+    * See: https://github.com/dhall-lang/dhall-haskell/pull/936
+* BUG FIX: Fix α-normalization
+    * Version 1.22.0 introduced a new faster evaluation algorithm, but the new
+      algorithm introduced two α-normalization regression, which this release
+      fixes
+    * The primary effect of this bug was that semantic integrity checks would
+      fail for expressions that contain an `if`/`then`/else` expression in their
+      normal form
+    * See: https://github.com/dhall-lang/dhall-haskell/pull/931
+    * See: https://github.com/dhall-lang/dhall-haskell/pull/938
+* BUG FIX: Fix merging of sort-level record types
+    * The language standard requires that `{ a : Kind } ⩓ { b : Kind }` is
+      valid, which this change fixes
+    * See: https://github.com/dhall-lang/dhall-haskell/pull/891
+* BUG FIX: `dhall freeze` respects the `--ascii` flag
+    * See: https://github.com/dhall-lang/dhall-haskell/pull/934
+* BUG FIX: Don't autocomplete fields for record types
+    * This prevents the REPL from expanding `{ x : T }.<TAB>` to `{ x : T }.x`
+    * See: https://github.com/dhall-lang/dhall-haskell/pull/937
+* Support `MonadFail`-related changes in GHC 8.8
+    * See: https://github.com/dhall-lang/dhall-haskell/pull/912
+* Add `cross` flag to simplify cross-compilation
+    * This allows the `dhall` package to be built without using
+      `TemplateHaskell`
+    * See: https://github.com/dhall-lang/dhall-haskell/pull/928
+* Increase lines of context for error messages 
+    * Error messages now provide at least 20 lines of context instead of 3
+      before truncating large expressions
+    * See: https://github.com/dhall-lang/dhall-haskell/pull/916
+* Add line numbers to error messages
+    * The bottom of every Dhall type error includes the original source code,
+      which now has line numbers on the left margin
+    * See: https://github.com/dhall-lang/dhall-haskell/pull/919
+* Expand lower bounds on `megaparsec`/`transformers-compat` dependencies
+    * This is to support `dhall` on Debian Sid
+    * See: https://github.com/dhall-lang/dhall-haskell/pull/939
+
 1.22.0
 
 * Supports version 7.0.0 of the standard

dhall/dhall.cabal

@@ -1,5 +1,5 @@
 Name: dhall
-Version: 1.22.0
+Version: 1.23.0
 Cabal-Version: >=1.10
 Build-Type: Simple
 Tested-With: GHC == 7.10.3, GHC == 8.4.3, GHC == 8.6.1