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

Version 1.23.0 → 1.24.0 (#984)

This commit is contained in:
Gabriel Gonzalez 2019-06-06 17:14:43 -07:00 committed by GitHub
parent 26bb77e99e
commit fc5b382238
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
8 changed files with 107 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.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

15
dhall-json/CHANGELOG.md
View File

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

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

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

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

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

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

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

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

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

82
dhall/CHANGELOG.md
View File

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

2
dhall/dhall.cabal
View File

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