ehmry/dhall-haskell
ehmry
/
dhall-haskell
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Version 1.25.0 → 1.26.0 (#1286)

This commit is contained in:
Gabriel Gonzalez 2019-09-11 19:37:25 -07:00 committed by GitHub
parent c8402faa37
commit 65710954cf
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
8 changed files with 115 additions and 10 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
dhall-bash/dhall-bash.cabal
View File

@ -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

11
dhall-json/CHANGELOG.md
View File

@ -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`

4
dhall-json/dhall-json.cabal
View File

@ -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,

4
dhall-lsp-server/dhall-lsp-server.cabal
View File

@ -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

4
dhall-nix/dhall-nix.cabal
View File

@ -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

2
dhall-try/dhall-try.cabal
View File

@ -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

94
dhall/CHANGELOG.md
View File

@ -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

2
dhall/dhall.cabal
View File

@ -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