diff options
| author | Ryan Scott <ryan.gl.scott@gmail.com> | 2020-02-19 17:06:59 -0500 |
|---|---|---|
| committer | Ryan Scott <ryan.gl.scott@gmail.com> | 2020-02-20 07:18:34 -0500 |
| commit | 6bb637dfa6e38a06c0fc912cecd42086185893a1 (patch) | |
| tree | 9b369b5f37e39b8b8f5406804d5d43b9435f9b34 /libraries/template-haskell/changelog.md | |
| parent | 1500f0898e85316c7c97a2f759d83278a072ab0e (diff) | |
| download | haskell-wip/T17857.tar.gz | |
Generalize liftData to work over any Quote (#17857)wip/T17857
The Overloaded Quotations proposal generalized the type of `lift`
to work over any `Quote`, but not the type of `liftData`, leading
to #17857. Thankfully, generalizing `liftData` is extremely
straightforward.
Fixes #17857.
Diffstat (limited to 'libraries/template-haskell/changelog.md')
| -rw-r--r-- | libraries/template-haskell/changelog.md | 11 |
1 files changed, 6 insertions, 5 deletions
diff --git a/libraries/template-haskell/changelog.md b/libraries/template-haskell/changelog.md index a6d6307b7e..0b5fb2c10c 100644 --- a/libraries/template-haskell/changelog.md +++ b/libraries/template-haskell/changelog.md @@ -3,11 +3,12 @@ ## 2.17.0.0 * Implement Overloaded Quotations (GHC Proposal #246). This patch modifies a - few fundamental things in the API. All the library combinators are generalised - to be in terms of a new minimal class `Quote`. The type of `lift` and `liftTyped` - are modified to return `m Exp` rather than `Q Exp`. Instances written in terms - of `Q` are now disallowed. The types of `unsafeTExpCoerce` and `unTypeQ` - are also generalised in terms of `Quote` rather than specific to `Q`. + few fundamental things in the API. All the library combinators are generalised + to be in terms of a new minimal class `Quote`. The types of `lift`, `liftTyped`, + and `liftData` are modified to return `m Exp` rather than `Q Exp`. Instances + written in terms of `Q` are now disallowed. The types of `unsafeTExpCoerce` + and `unTypeQ` are also generalised in terms of `Quote` rather than specific + to `Q`. ## 2.16.0.0 *TBA* |