From 65710954cf8f2217b9959cd73a5d8a40d03aab39 Mon Sep 17 00:00:00 2001 From: Gabriel Gonzalez Date: Wed, 11 Sep 2019 19:37:25 -0700 Subject: [PATCH] =?UTF-8?q?Version=201.25.0=20=E2=86=92=201.26.0=20(#1286)?= 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 | 11 +++ dhall-json/dhall-json.cabal | 4 +- dhall-lsp-server/dhall-lsp-server.cabal | 4 +- dhall-nix/dhall-nix.cabal | 4 +- dhall-try/dhall-try.cabal | 2 +- dhall/CHANGELOG.md | 94 +++++++++++++++++++++++++ dhall/dhall.cabal | 2 +- 8 files changed, 115 insertions(+), 10 deletions(-) diff --git a/dhall-bash/dhall-bash.cabal b/dhall-bash/dhall-bash.cabal index 1c64f76..d700a1c 100644 --- a/dhall-bash/dhall-bash.cabal +++ b/dhall-bash/dhall-bash.cabal @@ -1,5 +1,5 @@ Name: dhall-bash -Version: 1.0.22 +Version: 1.0.23 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.25.0 && < 1.26, + dhall >= 1.26.0 && < 1.27, 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 4485e7c..d687178 100644 --- a/dhall-json/CHANGELOG.md +++ b/dhall-json/CHANGELOG.md @@ -1,3 +1,14 @@ +1.4.1 + +* [Enable `--records-strict` by default for `{json-yaml}-to-dhall`](https://github.com/dhall-lang/dhall-haskell/pull/1181) +* [Fix `--file` flag for `dhall-to-{json,yaml}`](https://github.com/dhall-lang/dhall-haskell/pull/1191) +* [Fix `--version` flag for `{yaml,json}-to-dhall`](https://github.com/dhall-lang/dhall-haskell/pull/1199) +* [`Nesting`: Support empty alternatives as contents](https://github.com/dhall-lang/dhall-haskell/pull/1204) +* [Fix `yaml-to-dhall` support for empty objects](https://github.com/dhall-lang/dhall-haskell/pull/1186) +* [Throw error when union value is incompatible with inline nesting](https://github.com/dhall-lang/dhall-haskell/pull/1226) +* [Add `--output` options](https://github.com/dhall-lang/dhall-haskell/pull/1304) +* [Minor bug fixes for `yaml-to-dhall` error messages](https://github.com/dhall-lang/dhall-haskell/pull/1305) + 1.4.0 * BREAKING CHANGE: Split `Dhall.YAML` into `Dhall.YAML` + `Dhall.YAMLToDhall` diff --git a/dhall-json/dhall-json.cabal b/dhall-json/dhall-json.cabal index 35bb95a..89c184e 100644 --- a/dhall-json/dhall-json.cabal +++ b/dhall-json/dhall-json.cabal @@ -1,5 +1,5 @@ Name: dhall-json -Version: 1.4.0 +Version: 1.4.1 Cabal-Version: >=1.8.0.2 Build-Type: Simple Tested-With: GHC == 7.10.3, GHC == 8.4.3, GHC == 8.6.1 @@ -47,7 +47,7 @@ Library aeson-pretty < 0.9 , bytestring < 0.11, containers , - dhall >= 1.25.0 && < 1.26, + dhall >= 1.26.0 && < 1.27, exceptions >= 0.8.3 && < 0.11, filepath < 1.5 , optparse-applicative >= 0.14.0.0 && < 0.16, diff --git a/dhall-lsp-server/dhall-lsp-server.cabal b/dhall-lsp-server/dhall-lsp-server.cabal index c527883..0d37ccf 100644 --- a/dhall-lsp-server/dhall-lsp-server.cabal +++ b/dhall-lsp-server/dhall-lsp-server.cabal @@ -1,6 +1,6 @@ cabal-version: 1.12 name: dhall-lsp-server -Version: 1.0.0 +Version: 1.0.1 synopsis: Language Server Protocol (LSP) server for Dhall homepage: https://github.com/dhall-lang/dhall-haskell/dhall-lsp-server#readme bug-reports: https://github.com/dhall-lang/dhall-haskell/issues @@ -46,7 +46,7 @@ library , containers >= 0.5.11.0 && < 0.7 , data-default >= 0.7.1.1 && < 0.8 , directory >= 1.2.2.0 && < 1.4 - , dhall >= 1.25.0 && < 1.26 + , dhall >= 1.26.0 && < 1.27 , dhall-json >= 1.4 && < 1.5 , filepath >= 1.4.2 && < 1.5 , haskell-lsp >= 0.15.0.0 && < 0.16 diff --git a/dhall-nix/dhall-nix.cabal b/dhall-nix/dhall-nix.cabal index 3684cd5..abe4ccd 100644 --- a/dhall-nix/dhall-nix.cabal +++ b/dhall-nix/dhall-nix.cabal @@ -1,5 +1,5 @@ Name: dhall-nix -Version: 1.1.7 +Version: 1.1.8 Cabal-Version: >=1.8.0.2 Build-Type: Simple Tested-With: GHC == 8.0.1 @@ -30,7 +30,7 @@ Library base >= 4.8.0.0 && < 5 , containers < 0.7 , data-fix < 0.3 , - dhall >= 1.25 && < 1.26, + dhall >= 1.26 && < 1.27, hnix >= 0.6.1 && < 0.7 , neat-interpolation < 0.4 , text >= 0.8.0.0 && < 1.3 diff --git a/dhall-try/dhall-try.cabal b/dhall-try/dhall-try.cabal index 3edf05e..b4ac704 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.26 + , dhall >= 1.19.0 && < 1.27 , dhall-json >= 1.2.5 && < 1.5 , prettyprinter >= 1.2.1 && < 1.3 , text >= 1.2.3.0 && < 1.3 diff --git a/dhall/CHANGELOG.md b/dhall/CHANGELOG.md index f5528e0..4fe70b7 100644 --- a/dhall/CHANGELOG.md +++ b/dhall/CHANGELOG.md @@ -1,3 +1,97 @@ +1.26.0 + +* [Supports version 10.0.0 of the standard](https://github.com/dhall-lang/dhall-lang/releases/tag/v10.0.0) +* BREAKING CHANGE TO THE LANGUAGE: [Remove old union literal syntax](https://github.com/dhall-lang/dhall-haskell/pull/1176) + * Union literals of the form `< x = e | ... >` are no longer valid + * For more details, see: [Migration: Deprecation of old union literal syntax](https://github.com/dhall-lang/dhall-lang/wiki/Migration%3A-Deprecation-of-old-union-literal-syntax) + * Also see the [changelog for standard version 10.0.0](https://github.com/dhall-lang/dhall-lang/releases/tag/v10.0.0) for more details +* BREAKING CHANGE TO THE API: [Change `X` to be a type synonym for `Data.Void`](https://github.com/dhall-lang/dhall-haskell/pull/1172) + * This is a breaking change if you were previously pattern matching on the + `X` constructor. You can replace that with the use of `Data.Void.absurd` +* BREAKING CHANGE TO THE API: [Treat multi-`let`s as syntactic sugar](https://github.com/dhall-lang/dhall-haskell/pull/1242) + * This is a breaking change because the `Let` constructor now only stores + one `Binding` instead of a `NonEmpty` list of `Binding`s +* PERFORMANCE REGRESSION & TECHNICALLY BREAKING CHANGE TO THE LANGUAGE: [Dependent types](https://github.com/dhall-lang/dhall-haskell/pull/1164) + * You can now write functions from terms to types + * There is also now language support for tests of the form + `assert : x === y` + * This deteriorates the performance of large multi-`let` expressions + (See: [#1306](https://github.com/dhall-lang/dhall-haskell/issues/1306)) + * Splitting large multi-`let` expressions into smaller files may mitigate + the problem as a work-around for now + * Follow [#1129](https://github.com/dhall-lang/dhall-haskell/issues/1129) + for work to fix this performance regression + * This is also a technically breaking change because `assert` is now a + reserved keyword + * See the [changelog for standard version 10.0.0](https://github.com/dhall-lang/dhall-lang/releases/tag/v10.0.0) for more details +* TECHNICALLY BREAKING CHANGE TO THE LANGUAGE: [Add `Natural/subtract` built-in](https://github.com/dhall-lang/dhall-haskell/pull/1133) + * The language now supports machine subtraction, which can be used to + support several other high-performance operations (like `Natural` + comparisons) + * This is a technically breaking change if you used `Natural/subtract` as an + identifier in your code + * See the [changelog for standard version 10.0.0](https://github.com/dhall-lang/dhall-lang/releases/tag/v10.0.0) for more details +* TECHNICALLY BREAKING CHANGE TO THE LANGUAGE: [More simplifications for field selection](https://github.com/dhall-lang/dhall-haskell/pull/1174) + * Now the interpreter will more intelligently simplify certain field + projections + * For example: `λ(x : { a : Bool, b : Bool }) → (x ⫽ { c = 0 }).{ a, c }.c` + will now simplify to `λ(x : { a : Bool, b : Bool }) → 0 ` + * This is a technically breaking change because you will need to update + integrity checks that protect code simplified in this way + * See the [changelog for standard version 10.0.0](https://github.com/dhall-lang/dhall-lang/releases/tag/v10.0.0) for more details +* TECHNICALLY BREAKING CHANGE TO THE LANGUAGE: [Simplify `⫽` when its arguments are equivalent](https://github.com/dhall-lang/dhall-haskell/pull/1196) + * This is a technically breaking change for the same reason: this will + perturb semantic integrity checks for affected code + * See the [changelog for standard version 10.0.0](https://github.com/dhall-lang/dhall-lang/releases/tag/v10.0.0) for more details +* NEW FEATURE: [Restore support for records containing both types and terms](https://github.com/dhall-lang/dhall-haskell/pull/1173) + * In other words `{ foo = 1, bar = Bool }` is now valid again + * This means that you now can export a single package containing both types + and terms + * See the [changelog for standard version 10.0.0](https://github.com/dhall-lang/dhall-lang/releases/tag/v10.0.0) for more details +* [`dhall format` now preserves `let` comments](https://github.com/dhall-lang/dhall-haskell/pull/1273) + * `dhall` format will now preserve comments in the following locations of + a `let` binding: + * `let {- HERE -} x {- HERE -} : {- HERE -} Bool = {- HERE -} True in x` + * This support handles both single-line and multi-line comments and also + takes care of correctly indenting/dedenting them + * Note that comments before the `let` keyword are still not preserved + (unless it is the beginning of the file) +* [Add API support for marshalling recursive types](https://github.com/dhall-lang/dhall-haskell/pull/1195) + * You can now marshal recursive types from Dhall into Haskell using the + newly-added utilities + * See also: [#1298](https://github.com/dhall-lang/dhall-haskell/pull/1298) +* [New `:help` command for `dhall repl`](https://github.com/dhall-lang/dhall-haskell/pull/1237) +* [New `--no-cache` flag](https://github.com/dhall-lang/dhall-haskell/pull/1290) + * You can now disable use of the cache with this flag + * This comes in handy if you want to disable α-normalization for imports + protected by a semantic integrity check +* Bug fixes + * [Fix `isNormalized` for field selections](https://github.com/dhall-lang/dhall-haskell/pull/1210) + * [Simplify `Natural/subtract` when its arguments are equivalent](https://github.com/dhall-lang/dhall-haskell/pull/1220) + * [Fix `NaN` to be judgmentally equivalent to itself](https://github.com/dhall-lang/dhall-haskell/pull/1231) + * [Fix `Inject` instance for lists](https://github.com/dhall-lang/dhall-haskell/pull/1261) + * [Fix typechecking of `toMap`](https://github.com/dhall-lang/dhall-haskell/pull/1279) +* Performance optimizations + * [Optimize a few `Set` instances](https://github.com/dhall-lang/dhall-haskell/pull/1184) + * [Remove some redundant sorting during normalization](https://github.com/dhall-lang/dhall-haskell/pull/1228) +* Improvements to error messages + * [Improve error reporting for failed remote imports](https://github.com/dhall-lang/dhall-haskell/pull/1188) + * [Improve HTTP errors](https://github.com/dhall-lang/dhall-haskell/pull/1253) +* Improvements to formatting + * [Indent function arguments when formatting](https://github.com/dhall-lang/dhall-haskell/pull/1167) + * [Prefer unquoted URLs](https://github.com/dhall-lang/dhall-haskell/pull/1235) + * [Strip leading whitespace](https://github.com/dhall-lang/dhall-haskell/pull/1270) +* Improvements to diffs + * [Fix diffs for lists](https://github.com/dhall-lang/dhall-haskell/pull/1213) + * [Improve diff for non-empty lists](https://github.com/dhall-lang/dhall-haskell/pull/1244) + * [Small fixes to `dhall diff`](https://github.com/dhall-lang/dhall-haskell/pull/1263) +* Improvements to documentation + * [Fix documentation for `UnionInputType`](https://github.com/dhall-lang/dhall-haskell/pull/1230) + * [Document support for caching protected imports](https://github.com/dhall-lang/dhall-haskell/pull/1247) +* Improvements to command-line interface + * [Improve description of `dhall lint`](https://github.com/dhall-lang/dhall-haskell/pull/1264) + * [Change `dhall type` to resolve imports](https://github.com/dhall-lang/dhall-haskell/pull/1281) + 1.25.0 * Supports version 9.0.0 of the standard diff --git a/dhall/dhall.cabal b/dhall/dhall.cabal index 11563e9..6d3f578 100644 --- a/dhall/dhall.cabal +++ b/dhall/dhall.cabal @@ -1,5 +1,5 @@ Name: dhall -Version: 1.25.0 +Version: 1.26.0 Cabal-Version: >=1.10 Build-Type: Simple Tested-With: GHC == 7.10.3, GHC == 8.4.3, GHC == 8.6.1