From fc5b382238d2475d7c364e1feca1f52382006d9e Mon Sep 17 00:00:00 2001 From: Gabriel Gonzalez Date: Thu, 6 Jun 2019 17:14:43 -0700 Subject: [PATCH] =?UTF-8?q?Version=201.23.0=20=E2=86=92=201.24.0=20(#984)?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- dhall-bash/dhall-bash.cabal | 4 +- dhall-json/CHANGELOG.md | 15 +++++++ dhall-json/dhall-json.cabal | 4 +- dhall-nix/dhall-nix.cabal | 2 +- dhall-text/dhall-text.cabal | 4 +- dhall-try/dhall-try.cabal | 4 +- dhall/CHANGELOG.md | 82 +++++++++++++++++++++++++++++++++++++ dhall/dhall.cabal | 2 +- 8 files changed, 107 insertions(+), 10 deletions(-) diff --git a/dhall-bash/dhall-bash.cabal b/dhall-bash/dhall-bash.cabal index 58892c3..d32c125 100644 --- a/dhall-bash/dhall-bash.cabal +++ b/dhall-bash/dhall-bash.cabal @@ -1,5 +1,5 @@ Name: dhall-bash -Version: 1.0.20 +Version: 1.0.21 Cabal-Version: >=1.8.0.2 Build-Type: Simple Tested-With: GHC == 7.10.3, GHC == 8.4.3, GHC == 8.6.1 @@ -31,7 +31,7 @@ Library base >= 4.8.0.0 && < 5 , bytestring < 0.11, containers < 0.7 , - dhall >= 1.22.0 && < 1.24, + dhall >= 1.22.0 && < 1.25, 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 6a5812e..12ea064 100644 --- a/dhall-json/CHANGELOG.md +++ b/dhall-json/CHANGELOG.md @@ -1,3 +1,18 @@ +1.3.0 + +* BREAKING CHANGE: Change YAML/JSON encoding for `NaN`/`Infinity`/`-Infinity` + * They are now encoded as the standard `"nan"`/`"inf"`/`"-inf"` + representations instead of `null`/`MIN_DOUBLE/`/`MAX_DOUBLE` + * See: https://github.com/dhall-lang/dhall-haskell/pull/946 +* BREAKING CHANGE: Isolate YAML code to one modulee + * This is a breaking change because it moves `Dhall.JSON.jsonToYaml` to + `Dhall.YAML.jsonToYaml` + * See: https://github.com/dhall-lang/dhall-haskell/pull/989/files +* New `yaml-to-dhall` command-line utility + * See: https://github.com/dhall-lang/dhall-haskell/pull/977 +* Add `--quoted` flag to force quoting of YAML string literals + * See: https://github.com/dhall-lang/dhall-haskell/pull/941 + 1.2.8 * New `json-to-dhall` command-line utility diff --git a/dhall-json/dhall-json.cabal b/dhall-json/dhall-json.cabal index 66477d8..c909ef0 100644 --- a/dhall-json/dhall-json.cabal +++ b/dhall-json/dhall-json.cabal @@ -1,5 +1,5 @@ Name: dhall-json -Version: 1.2.8 +Version: 1.3.0 Cabal-Version: >=1.8.0.2 Build-Type: Simple Tested-With: GHC == 7.10.3, GHC == 8.4.3, GHC == 8.6.1 @@ -43,7 +43,7 @@ Library aeson-pretty < 0.9 , bytestring < 0.11, containers , - dhall >= 1.22.0 && < 1.24, + dhall >= 1.22.0 && < 1.25, exceptions >= 0.8.3 && < 0.11, lens >= 2.5 && < 4.18, optparse-applicative >= 0.14.0.0 && < 0.15, diff --git a/dhall-nix/dhall-nix.cabal b/dhall-nix/dhall-nix.cabal index 9498023..0e644f7 100644 --- a/dhall-nix/dhall-nix.cabal +++ b/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.24, + dhall >= 1.22 && < 1.25, hnix >= 0.5 && < 0.7 , neat-interpolation < 0.4 , text >= 0.8.0.0 && < 1.3 diff --git a/dhall-text/dhall-text.cabal b/dhall-text/dhall-text.cabal index d57013d..3817e8e 100644 --- a/dhall-text/dhall-text.cabal +++ b/dhall-text/dhall-text.cabal @@ -1,5 +1,5 @@ Name: dhall-text -Version: 1.0.17 +Version: 1.0.18 Cabal-Version: >=1.8.0.2 Build-Type: Simple Tested-With: GHC == 7.10.3, GHC == 8.4.3, GHC == 8.6.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.24, + dhall >= 1.15.0 && < 1.25, 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 98db1c7..28e03f7 100644 --- a/dhall-try/dhall-try.cabal +++ b/dhall-try/dhall-try.cabal @@ -16,8 +16,8 @@ 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.24 - , dhall-json >= 1.2.5 && < 1.3 + , dhall >= 1.19.0 && < 1.25 + , dhall-json >= 1.2.5 && < 1.4 , prettyprinter >= 1.2.1 && < 1.3 , text >= 1.2.3.0 && < 1.3 , ghcjs-base >= 0.2.0.0 && < 0.3 diff --git a/dhall/CHANGELOG.md b/dhall/CHANGELOG.md index 80b59ba..dd78d9d 100644 --- a/dhall/CHANGELOG.md +++ b/dhall/CHANGELOG.md @@ -1,3 +1,85 @@ +1.24.0 + +* Supports version 8.0.0 of the standard + * See: https://github.com/dhall-lang/dhall-lang/releases/tag/v8.0.0 +* BREAKING CHANGE: Allow tabs and blank lines in multi-line strings + * Blank lines are now ignored for the purpose of dedenting multiline strings + * Lines with leading tabs (or mixed tabs and spaces) are now dedented, too, + so long as they all share the same prefix + * This is technically a breaking change, but unlikely to affect programs + in practice, especially if they were formatted with `dhall format`. This + change mainly affects programs that were not indented correctly. + * See the changelog for standard version 8.0.0 for more details +* BREAKING CHANGE: Simplify bare interpolations + * Expressions like `λ(x : Text) → "${x}"` now simplify to `λ(x : Text) → x` + * This is a technically breaking change because it changes how these sorts + of expressions are serialized. This does not affect semantic integrity + checks and the new simplified expressions are extensionally equivalent to + their older counterpart expressions. + * See the changelog for standard version 8.0.0 for more details +* BREAKING CHANGE: Encode integrity check as multihash + * Semantic integrity checks are now encoded using the multihash spec + * This is a technically breaking change that does not perturb the hash for + user-facing semantic integrity checks. This only affects how expressions + with unresolved imports are serialized, but semantic integrity checks are + only computed for fully-resolved imports. + * See the changelog for standard version 8.0.0 for more details +* BUG FIX: Fix type-checker to reject invalid record type annotations + * e.g. `{ x = 1 } : { x : Text }` was not properly rejected by the type + checker + * See: https://github.com/dhall-lang/dhall-haskell/pull/965 +* BUG FIX: Custom header forwarding fixed + * Forwarding custom headers could previously fail in various ways, such as: + * Cyclic imports leading to endless network requests + * Resolving a non-existent import for the custom headers + * Resolving an existing but incorrect import for the custom headers + * This change fixes that by forwarding custom headers by value instead of + by reference + * See: https://github.com/dhall-lang/dhall-haskell/pull/967 +* BUG FIX: Fix GHCJS support + * `Natural/fold` was broken in version 1.22, which this change fixes + * Specifically, it would hang for `Natural` numbers greater than 1 + * See: https://github.com/dhall-lang/dhall-haskell/pull/985 +* BUG FIX: `dhall diff` no longer double-prints key-value separators + * See: https://github.com/dhall-lang/dhall-haskell/pull/952 +* Feature: Record projection by expression + * You can now project out a subset of record fields by the expected type + * `let t = { x : Natural } let p = { x = 1, y = 2 } in p.(t) = { x = 1 }` + * See the changelog for standard version 8.0.0 for more details +* Feature: Inline headers + * You no longer need to specify custom headers in a separate import. You + can now specify them inline within the same file. + * e.g.: `https://example.com/x using [ { header = "Foo", value = "Bar" } ]` + * See the changelog for standard version 8.0.0 for more details +* Feature: Allow `Sort` as a type annotation + * An expression such as `Kind → Kind : Sort` will now type-check + * `Sort` is still disallowed outside of a type annotation + * See the changelog for standard version 8.0.0 for more details +* Feature: Allow self-describe-cbor when decoding + * Dhall expressions serialized as CBOR can be tagged to describe themselves + as CBOR without affecting decoding + * See the changelog for standard version 8.0.0 for more details +* Feature: New `--file` option for `dhall` commands + * In other words, instead of `dhall <<< './some/file` you can now use + `dhall --file some/file` + * See: https://github.com/dhall-lang/dhall-haskell/pull/949 +* Feature: New `--cache` flag for `dhall freeze` command + * This automates the idiom used by the Prelude to optimistically cache + imports but gracefully degrade if the semantic integrity check fails + * See: https://github.com/dhall-lang/dhall-haskell/pull/980 +* Feature: Add `:clear` command to `dhall repl` + * This deletes previous bindings from the history so that they can be + garbage collected + * See: https://github.com/dhall-lang/dhall-haskell/pull/966 +* Feature: New `chunkExprs` `Traversal` added to `Dhall.Core` + * See: https://github.com/dhall-lang/dhall-haskell/pull/954 +* Feature: New `Dhall.Optics` module + * This re-exports some convenient @lens@ utilities used internally for + packages trying to avoid a @lens@ dependency + * See: https://github.com/dhall-lang/dhall-haskell/pull/986 +* More GHC 8.8 support + * See: https://github.com/dhall-lang/dhall-haskell/pull/961 + 1.23.0 * BREAKING CHANGE: Fix marshaling union literals diff --git a/dhall/dhall.cabal b/dhall/dhall.cabal index 8c5aeb3..fde619d 100644 --- a/dhall/dhall.cabal +++ b/dhall/dhall.cabal @@ -1,5 +1,5 @@ Name: dhall -Version: 1.23.0 +Version: 1.24.0 Cabal-Version: >=1.10 Build-Type: Simple Tested-With: GHC == 7.10.3, GHC == 8.4.3, GHC == 8.6.1