Version 1.19.1 → 1.20.0 (#767)

dhall-lang · Dec 29, 2018 · 6a70f13 · 6a70f13
1 parent 528ea42
commit 6a70f13
Show file tree

Hide file tree

Showing 11 changed files with 92 additions and 12 deletions.
diff --git a/dhall-bash/README.md b/dhall-bash/README.md
@@ -1,4 +1,4 @@
-# `dhall-bash 1.0.17`
+# `dhall-bash`
 
 For installation or development instructions, see:
 

diff --git a/dhall-bash/dhall-bash.cabal b/dhall-bash/dhall-bash.cabal
@@ -1,5 +1,5 @@
 Name: dhall-bash
-Version: 1.0.17
+Version: 1.0.18
 Cabal-Version: >=1.8.0.2
 Build-Type: Simple
 Tested-With: GHC == 7.10.2, GHC == 8.0.1
@@ -31,7 +31,7 @@ Library
         base                      >= 4.8.0.0 && < 5   ,
         bytestring                              < 0.11,
         containers                              < 0.7 ,
-        dhall                     >= 1.18.0  && < 1.20,
+        dhall                     >= 1.18.0  && < 1.21,
         neat-interpolation                      < 0.4 ,
         shell-escape                            < 0.3 ,
         text                      >= 0.2     && < 1.3

diff --git a/dhall-json/CHANGELOG.md b/dhall-json/CHANGELOG.md
@@ -1,3 +1,14 @@
+1.2.6
+
+* Add `--version` flag
+    * See: https://github.com/dhall-lang/dhall-haskell/pull/704
+* Build against `tasty-1.2`
+    * See: https://github.com/dhall-lang/dhall-haskell/pull/731
+* Add `--compact` flag to `dhall-to-json`
+    * Eventually `--pretty` will become the default, so this flag provides a
+      way for a user to preserve the old 1-line output when that happens
+    * See: https://github.com/dhall-lang/dhall-haskell/pull/743
+
 1.2.5
 
 * Build against `dhall-1.19.0`

diff --git a/dhall-json/README.md b/dhall-json/README.md
@@ -1,4 +1,4 @@
-# `dhall-json 1.2.5`
+# `dhall-json`
 
 For installation or development instructions, see:
 

diff --git a/dhall-json/dhall-json.cabal b/dhall-json/dhall-json.cabal
@@ -1,5 +1,5 @@
 Name: dhall-json
-Version: 1.2.5
+Version: 1.2.6
 Cabal-Version: >=1.8.0.2
 Build-Type: Simple
 Tested-With: GHC == 7.10.2, GHC == 8.0.1
@@ -35,7 +35,7 @@ Library
     Build-Depends:
         base                      >= 4.8.0.0  && < 5   ,
         aeson                     >= 1.0.0.0  && < 1.5 ,
-        dhall                     >= 1.19.0   && < 1.20,
+        dhall                     >= 1.19.0   && < 1.21,
         optparse-applicative      >= 0.14.0.0 && < 0.15,
         text                      >= 0.11.1.0 && < 1.3 ,
         unordered-containers                     < 0.3

diff --git a/dhall-text/README.md b/dhall-text/README.md
@@ -1,4 +1,4 @@
-# `dhall-text 1.0.14`
+# `dhall-text`
 
 For installation or development instructions, see:
 

diff --git a/dhall-text/dhall-text.cabal b/dhall-text/dhall-text.cabal
@@ -1,5 +1,5 @@
 Name: dhall-text
-Version: 1.0.14
+Version: 1.0.15
 Cabal-Version: >=1.8.0.2
 Build-Type: Simple
 Tested-With: GHC == 7.10.2, GHC == 8.0.1
@@ -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.20,
+        dhall                >= 1.15.0   && < 1.21,
         optparse-applicative                < 0.15,
         text                 >= 0.11.1.0 && < 1.3
     GHC-Options: -Wall

diff --git a/dhall-try/dhall-try.cabal b/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.20
+                     , dhall          >= 1.19.0   && < 1.21
                      , dhall-json     >= 1.2.5    && < 1.3
                      , prettyprinter  >= 1.2.1    && < 1.3
                      , text           >= 1.2.3.0  && < 1.3

diff --git a/dhall/CHANGELOG.md b/dhall/CHANGELOG.md
@@ -1,3 +1,72 @@
+1.20.0
+
+* Supports version 5.0.0 of the language standard
+    * See: https://github.com/dhall-lang/dhall-lang/releases/tag/v5.0.0
+* BREAKING CHANGE TO THE LANGUAGE: Implement standardized support for multi-line
+  literals
+    * This updates the multi-line support to match the standard
+    * This is a breaking change because empty lines within the multi-line
+      literal now require leading whitespace whereas previously they did not
+    * This is also a breaking change because now a newline is required after
+      the opening `''` quotes whereas previously it was not required
+    * If you use `dhall format` then your multi-line literals already have the
+      necessary leading whitespace
+* BREAKING CHANGE TO THE LANGUAGE: `constructors x = x`
+    * Now the `constructors` keyword behaves like an identity function, since
+      constructors can already be accessed as fields off the original union
+      type.
+    * This is a breaking change since any record of terms that contains a
+      `constructors` field will now be a forbidden mixed record of types and
+      terms.
+    * This is also a breaking change if you annotated the type of what used to
+      be a `constructors` record.
+    * `dhall lint` will now remove the obsolete `constructors` keyword for you
+    * See: https://github.com/dhall-lang/dhall-haskell/pull/693
+    * See: https://github.com/dhall-lang/dhall-haskell/pull/701
+* BREAKING CHANGE TO THE API: Restore `Parent` constructor for `Local` type
+    * This more closely matches the standard and also enables `dhall format` to
+      produce a leading `../` for imports instead of `./../`
+    * See: https://github.com/dhall-lang/dhall-haskell/pull/718
+* BUG FIX: Fix type-checking bug for unions
+    * The first fix was that the inferred type was wrong for unions where
+      alternatives were types or kinds
+    * The second fix was that unions that mixed terms/types/kinds were not
+      properly rejected
+    * See: https://github.com/dhall-lang/dhall-haskell/pull/763
+* BUG FIX: Change how `dhall repl` handles prior definitions
+    * This changes the REPL to handle previous bindings as if they were
+      defined using a large `let` expression instead of adding them to the
+      context
+    * This fixes some type-checking false negatives
+    * See: https://github.com/dhall-lang/dhall-haskell/pull/729
+* Feature: Autocomplete for `dhall repl`
+    * You can now auto-complete record fields, union constructors, and
+      identifiers that are in scope
+    * See: https://github.com/dhall-lang/dhall-haskell/pull/727
+* Feature: GHCJS support
+    * `dhall` can now be built using GHCJS, although some features are still
+      not supported for GHCJS, such as:
+        * Semantic integrity checks
+        * Custom HTTP headers
+    * Also, HTTP imports only work for URLs that support CORS
+    * See: https://github.com/dhall-lang/dhall-haskell/pull/739
+* Feature: Add support for records of records of types
+    * You can now nest records of types
+    * See: https://github.com/dhall-lang/dhall-haskell/pull/700
+* Feature: Add `:quit` command for `dhall repl`
+    * See: https://github.com/dhall-lang/dhall-haskell/pull/719
+* Feature: Add `--json` flag for `dhall {encode,decode}`
+    * You can now produce/consume CBOR expressions via JSON instead of binary
+    * See: https://github.com/dhall-lang/dhall-haskell/pull/717
+* Feature: Add decoding logic for `as Text`
+    * You can now preserve the `as Text` qualifier on imports when serializing
+      them
+    * See: https://github.com/dhall-lang/dhall-haskell/pull/712
+* Prenormalize substituted expressions
+    * This is a performance improvement that reduces the time and memory
+      consumption when normalizing expressions
+    * See: https://github.com/dhall-lang/dhall-haskell/pull/765
+
 1.19.1
 
 

diff --git a/dhall/README.md b/dhall/README.md
@@ -1,4 +1,4 @@
-# `dhall 1.19.1`
+# `dhall`
 
 For installation or development instructions, see:
 

diff --git a/dhall/dhall.cabal b/dhall/dhall.cabal
@@ -1,5 +1,5 @@
 Name: dhall
-Version: 1.19.1
+Version: 1.20.0
 Cabal-Version: >=1.10
 Build-Type: Simple
 Tested-With: GHC == 8.0.1