|
| 1 | +1.25.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: Remove support for old-style `List`-like `Optional` literals |
| 6 | + * List-like `Optional` Literals (i.e. `[ 1 ] : Optional Natural`) are no |
| 7 | + longer valid |
| 8 | + * See: https://github.com/dhall-lang/dhall-haskell/pull/1002 |
| 9 | +* BREAKING CHANGE: Add support for semi-semantic caching |
| 10 | + * This change significantly improves the performance of imports |
| 11 | + * This change also automatically caches imports without an integrity check |
| 12 | + * This changes several types in `Dhall.Import` to support this new |
| 13 | + feature |
| 14 | + * See: https://github.com/dhall-lang/dhall-haskell/pull/1113 |
| 15 | +* BREAKING CHANGE: Implement new Unicode braced escape sequence |
| 16 | + * Escape sequences encoding surrogate pairs are no longer valid |
| 17 | + * Instead, characters previously encoded as surrogate pairs can instead be |
| 18 | + encoded as a braced sequence |
| 19 | + * For example: "\uD834\uDD1E" must now be written as "\u{1D11E}" |
| 20 | + * See: https://github.com/dhall-lang/dhall-haskell/pull/987 |
| 21 | + * See: https://github.com/dhall-lang/dhall-haskell/pull/1104 |
| 22 | +* BREAKING CHANGE: Make the type of extract richer: |
| 23 | + * `Dhall.extract` can now return a detailed error instead of just a `Maybe` |
| 24 | + * This is a breaking chnage because the type of `extract` changed |
| 25 | + * See: https://github.com/dhall-lang/dhall-haskell/pull/1011 |
| 26 | +* BREAKING CHANGE: Add support for importing expressions `as Location` |
| 27 | + * This is a breaking change because a new `Location` constructor was added |
| 28 | + to `ImportMode` |
| 29 | + * See: https://github.com/dhall-lang/dhall-haskell/pull/1019 |
| 30 | +* BREAKING CHANGE: Switch `Var` to use an `Int` |
| 31 | + * This is a performance improvement, but also a breaking change since the |
| 32 | + `Integer` in the `Var` constructor was changed to an `Int` |
| 33 | + * See: https://github.com/dhall-lang/dhall-haskell/pull/1044 |
| 34 | +* BREAKING CHANGE: Add new `toMap` keyword |
| 35 | + * This is a breaking change to the API because a new `ToMap` constructor |
| 36 | + was added to the `Expr` type |
| 37 | + * This is also a technically breaking change to the language because `toMap` |
| 38 | + is now a reserved keyword, although most code should be unaffected in |
| 39 | + practice |
| 40 | + * See: https://github.com/dhall-lang/dhall-haskell/pull/1041 |
| 41 | +* BREAKING CHANGE: Sort the fields of a record projection during normalization |
| 42 | + * This is a technically breaking change to the language because any |
| 43 | + expressions with an uninterpreted record projection will have a different |
| 44 | + semantic integrity check. However, most could should be unaffected in |
| 45 | + practice |
| 46 | + * See: https://github.com/dhall-lang/dhall-haskell/pull/1111 |
| 47 | +* BUG FIX: Fix substitution into record projection by type |
| 48 | + * An expression like this one was being incorrectly rejected: |
| 49 | + `let e = { a = 10, b = "Text" } let s = { a : Natural } in e.(s)`, which |
| 50 | + this change fixes |
| 51 | + * See: https://github.com/dhall-lang/dhall-haskell/pull/1012 |
| 52 | +* BUG FIX: Reject record projection when there is a field type mismatch |
| 53 | + * Record projection by type was previously not checking the expected |
| 54 | + field types, which this change fixes |
| 55 | + * See: https://github.com/dhall-lang/dhall-haskell/pull/1027 |
| 56 | +* BUG FIX: Fix linting of unused let bindings |
| 57 | + * Certain let bindings were not correctly detected as unused, which this |
| 58 | + change fixes |
| 59 | + * See: https://github.com/dhall-lang/dhall-haskell/pull/1001 |
| 60 | +* BUG FIX: Fix `--file` option |
| 61 | + * The `--file` option from the previous release did not work, due to not |
| 62 | + computing relative paths correctly, which this change fixes |
| 63 | + * See: https://github.com/dhall-lang/dhall-haskell/pull/1004 |
| 64 | +* BUG FIX: Minor fix to `dhall diff` |
| 65 | + * `dhall diff` was incorrectly displaying spurious differences for |
| 66 | + identical lists that were function arguments, which this change fixes |
| 67 | + * See: https://github.com/dhall-lang/dhall-haskell/pull/1006 |
| 68 | +* BUG FIX: Allow `Sort` as type annotation |
| 69 | + * This should have been implemented in the previous release as part of |
| 70 | + supporting version 8.0.0 of the standard, but was missed |
| 71 | + * See: https://github.com/dhall-lang/dhall-haskell/pull/1024 |
| 72 | +* BUG FIX: `Dhall.Map`: Reflect original key ordering in `Ord` instance |
| 73 | + * `Dhall.Map` now considers key order when comparing `Map`s, which it should |
| 74 | + have done before, but didn't |
| 75 | + * See: https://github.com/dhall-lang/dhall-haskell/pull/1050 |
| 76 | +* BUG FIX: Consistently format multi-line strings |
| 77 | + * The formatter now formats naked multi-line strings the same as nested |
| 78 | + multi-line strings |
| 79 | + * Specifically, naked multi-line strings can now be formatted on a single |
| 80 | + (just like nested multi-line strings) |
| 81 | + * See: https://github.com/dhall-lang/dhall-haskell/pull/1056 |
| 82 | +* BUG FIX: Make `isNormalized` consistent with `normalize` |
| 83 | + * See: https://github.com/dhall-lang/dhall-haskell/pull/1115 |
| 84 | +* BUG FIX: Make `normalizeWithM` consistent with `normalize` |
| 85 | + * See: https://github.com/dhall-lang/dhall-haskell/pull/1126 |
| 86 | +* BUG FIX: Fix import alternatives to recover from type errors |
| 87 | + * See: https://github.com/dhall-lang/dhall-haskell/pull/1152 |
| 88 | +* Feature: Semi-semantic caching |
| 89 | + * The Haskell implementation now implicitly caches *all* local imports, not |
| 90 | + just imports frozen by integrity checks, so that you don't have to freeze |
| 91 | + them when doing local development |
| 92 | + * These cached imports are still correctly invalidated if they or any of |
| 93 | + their dependencies change |
| 94 | + * This new implicit cache is stored underneath `~/.cache/dhall-haskell` by |
| 95 | + default |
| 96 | + * See: https://github.com/dhall-lang/dhall-haskell/pull/1154 |
| 97 | +* Feature: New `dhall text` subcommand |
| 98 | + * This new subcommand supersedes the old `dhall-to-text` executable |
| 99 | +* Feature: Add `instance Lift (Expr s a)` |
| 100 | + * See: https://github.com/dhall-lang/dhall-haskell/pull/1119 |
| 101 | +* Fixes and improvements to error messages: |
| 102 | + * See: https://github.com/dhall-lang/dhall-haskell/pull/1030 |
| 103 | + * See: https://github.com/dhall-lang/dhall-haskell/pull/1137 |
| 104 | +* Fixes and improvements to tests: |
| 105 | + * See: https://github.com/dhall-lang/dhall-haskell/pull/1155 |
| 106 | + * See: https://github.com/dhall-lang/dhall-haskell/pull/1159 |
| 107 | +* Performance improvements |
| 108 | + * See: https://github.com/dhall-lang/dhall-haskell/pull/1036 |
| 109 | + * See: https://github.com/dhall-lang/dhall-haskell/pull/1051 |
| 110 | + * See: https://github.com/dhall-lang/dhall-haskell/pull/1048 |
| 111 | + * See: https://github.com/dhall-lang/dhall-haskell/pull/1057 |
| 112 | + * See: https://github.com/dhall-lang/dhall-haskell/pull/1065 |
| 113 | + * See: https://github.com/dhall-lang/dhall-haskell/pull/1066 |
| 114 | + * See: https://github.com/dhall-lang/dhall-haskell/pull/1085 |
| 115 | + |
1 | 116 | 1.24.0 |
2 | 117 |
|
3 | 118 | * Supports version 8.0.0 of the standard |
|
0 commit comments