|
| 1 | +1.24.0 |
| 2 | + |
| 3 | +* Supports version 8.0.0 of the standard |
| 4 | + * See: https://github.com/dhall-lang/dhall-lang/releases/tag/v8.0.0 |
| 5 | +* BREAKING CHANGE: Allow tabs and blank lines in multi-line strings |
| 6 | + * Blank lines are now ignored for the purpose of dedenting multiline strings |
| 7 | + * Lines with leading tabs (or mixed tabs and spaces) are now dedented, too, |
| 8 | + so long as they all share the same prefix |
| 9 | + * This is technically a breaking change, but unlikely to affect programs |
| 10 | + in practice, especially if they were formatted with `dhall format`. This |
| 11 | + change mainly affects programs that were not indented correctly. |
| 12 | + * See the changelog for standard version 8.0.0 for more details |
| 13 | +* BREAKING CHANGE: Simplify bare interpolations |
| 14 | + * Expressions like `λ(x : Text) → "${x}"` now simplify to `λ(x : Text) → x` |
| 15 | + * This is a technically breaking change because it changes how these sorts |
| 16 | + of expressions are serialized. This does not affect semantic integrity |
| 17 | + checks and the new simplified expressions are extensionally equivalent to |
| 18 | + their older counterpart expressions. |
| 19 | + * See the changelog for standard version 8.0.0 for more details |
| 20 | +* BREAKING CHANGE: Encode integrity check as multihash |
| 21 | + * Semantic integrity checks are now encoded using the multihash spec |
| 22 | + * This is a technically breaking change that does not perturb the hash for |
| 23 | + user-facing semantic integrity checks. This only affects how expressions |
| 24 | + with unresolved imports are serialized, but semantic integrity checks are |
| 25 | + only computed for fully-resolved imports. |
| 26 | + * See the changelog for standard version 8.0.0 for more details |
| 27 | +* BUG FIX: Fix type-checker to reject invalid record type annotations |
| 28 | + * e.g. `{ x = 1 } : { x : Text }` was not properly rejected by the type |
| 29 | + checker |
| 30 | + * See: https://github.com/dhall-lang/dhall-haskell/pull/965 |
| 31 | +* BUG FIX: Custom header forwarding fixed |
| 32 | + * Forwarding custom headers could previously fail in various ways, such as: |
| 33 | + * Cyclic imports leading to endless network requests |
| 34 | + * Resolving a non-existent import for the custom headers |
| 35 | + * Resolving an existing but incorrect import for the custom headers |
| 36 | + * This change fixes that by forwarding custom headers by value instead of |
| 37 | + by reference |
| 38 | + * See: https://github.com/dhall-lang/dhall-haskell/pull/967 |
| 39 | +* BUG FIX: Fix GHCJS support |
| 40 | + * `Natural/fold` was broken in version 1.22, which this change fixes |
| 41 | + * Specifically, it would hang for `Natural` numbers greater than 1 |
| 42 | + * See: https://github.com/dhall-lang/dhall-haskell/pull/985 |
| 43 | +* BUG FIX: `dhall diff` no longer double-prints key-value separators |
| 44 | + * See: https://github.com/dhall-lang/dhall-haskell/pull/952 |
| 45 | +* Feature: Record projection by expression |
| 46 | + * You can now project out a subset of record fields by the expected type |
| 47 | + * `let t = { x : Natural } let p = { x = 1, y = 2 } in p.(t) = { x = 1 }` |
| 48 | + * See the changelog for standard version 8.0.0 for more details |
| 49 | +* Feature: Inline headers |
| 50 | + * You no longer need to specify custom headers in a separate import. You |
| 51 | + can now specify them inline within the same file. |
| 52 | + * e.g.: `https://example.com/x using [ { header = "Foo", value = "Bar" } ]` |
| 53 | + * See the changelog for standard version 8.0.0 for more details |
| 54 | +* Feature: Allow `Sort` as a type annotation |
| 55 | + * An expression such as `Kind → Kind : Sort` will now type-check |
| 56 | + * `Sort` is still disallowed outside of a type annotation |
| 57 | + * See the changelog for standard version 8.0.0 for more details |
| 58 | +* Feature: Allow self-describe-cbor when decoding |
| 59 | + * Dhall expressions serialized as CBOR can be tagged to describe themselves |
| 60 | + as CBOR without affecting decoding |
| 61 | + * See the changelog for standard version 8.0.0 for more details |
| 62 | +* Feature: New `--file` option for `dhall` commands |
| 63 | + * In other words, instead of `dhall <<< './some/file` you can now use |
| 64 | + `dhall --file some/file` |
| 65 | + * See: https://github.com/dhall-lang/dhall-haskell/pull/949 |
| 66 | +* Feature: New `--cache` flag for `dhall freeze` command |
| 67 | + * This automates the idiom used by the Prelude to optimistically cache |
| 68 | + imports but gracefully degrade if the semantic integrity check fails |
| 69 | + * See: https://github.com/dhall-lang/dhall-haskell/pull/980 |
| 70 | +* Feature: Add `:clear` command to `dhall repl` |
| 71 | + * This deletes previous bindings from the history so that they can be |
| 72 | + garbage collected |
| 73 | + * See: https://github.com/dhall-lang/dhall-haskell/pull/966 |
| 74 | +* Feature: New `chunkExprs` `Traversal` added to `Dhall.Core` |
| 75 | + * See: https://github.com/dhall-lang/dhall-haskell/pull/954 |
| 76 | +* Feature: New `Dhall.Optics` module |
| 77 | + * This re-exports some convenient @lens@ utilities used internally for |
| 78 | + packages trying to avoid a @lens@ dependency |
| 79 | + * See: https://github.com/dhall-lang/dhall-haskell/pull/986 |
| 80 | +* More GHC 8.8 support |
| 81 | + * See: https://github.com/dhall-lang/dhall-haskell/pull/961 |
| 82 | + |
1 | 83 | 1.23.0 |
2 | 84 |
|
3 | 85 | * BREAKING CHANGE: Fix marshaling union literals |
|
0 commit comments