From 6a70f133a1411731435ab071094b614aac8149e0 Mon Sep 17 00:00:00 2001 From: Gabriel Gonzalez Date: Sat, 29 Dec 2018 11:48:21 -0600 Subject: [PATCH] =?UTF-8?q?Version=201.19.1=20=E2=86=92=201.20.0=20(#767)?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- dhall-bash/README.md | 2 +- dhall-bash/dhall-bash.cabal | 4 +-- dhall-json/CHANGELOG.md | 11 ++++++ dhall-json/README.md | 2 +- dhall-json/dhall-json.cabal | 4 +-- dhall-text/README.md | 2 +- dhall-text/dhall-text.cabal | 4 +-- dhall-try/dhall-try.cabal | 2 +- dhall/CHANGELOG.md | 69 +++++++++++++++++++++++++++++++++++++ dhall/README.md | 2 +- dhall/dhall.cabal | 2 +- 11 files changed, 92 insertions(+), 12 deletions(-) diff --git a/dhall-bash/README.md b/dhall-bash/README.md index 6505bbec6..7b01e4af6 100644 --- 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 index 1c2822f9a..3e572ba4c 100644 --- 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 index cf8ba6bff..85beec462 100644 --- 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 index e27c4cf3f..b215aab79 100644 --- 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 index 74cd584c1..8d14f7cba 100644 --- 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 index 18144e6d9..71576941d 100644 --- 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 index 09692e419..7c284aec8 100644 --- 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 index f2997afcd..4124eab4d 100644 --- 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 index 9b1363fb7..21942bbd8 100644 --- 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 index 73784574d..172de912f 100644 --- 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 index 7f53721b2..1489d19dd 100644 --- 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