diff options
author | Ryan Scott <ryan.gl.scott@gmail.com> | 2020-08-01 13:33:33 -0400 |
---|---|---|
committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2020-08-05 04:01:51 -0400 |
commit | fbcb886d503dd7aaebc4c40e59615068b3fd0bd7 (patch) | |
tree | efc61eca378f0d2b3a33d14efc482a5c1b2f63c2 /libraries/template-haskell/changelog.md | |
parent | eb7013c3037538aa9c947a21dbbfd7c297929ac8 (diff) | |
download | haskell-fbcb886d503dd7aaebc4c40e59615068b3fd0bd7.tar.gz |
Make CodeQ and TExpQ levity polymorphic
The patch is quite straightforward. The only tricky part is that
`Language.Haskell.TH.Lib.Internal` now must be `Trustworthy` instead
of `Safe` due to the `GHC.Exts` import (in order to import `TYPE`).
Since `CodeQ` has yet to appear in any released version of
`template-haskell`, I didn't bother mentioning the change to `CodeQ`
in the `template-haskell` release notes.
Fixes #18521.
Diffstat (limited to 'libraries/template-haskell/changelog.md')
-rw-r--r-- | libraries/template-haskell/changelog.md | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/libraries/template-haskell/changelog.md b/libraries/template-haskell/changelog.md index eb72b11858..8cd88b5ccc 100644 --- a/libraries/template-haskell/changelog.md +++ b/libraries/template-haskell/changelog.md @@ -32,6 +32,8 @@ * Add support for QualifiedDo. The data constructors `DoE` and `MDoE` got a new `Maybe ModName` argument to describe the qualifier of do blocks. + * The argument to `TExpQ` can now be levity polymorphic. + ## 2.16.0.0 *TBA* * Add support for tuple sections. (#15843) The type signatures of `TupE` and |