summaryrefslogtreecommitdiff
path: root/libraries/template-haskell/changelog.md
diff options
context:
space:
mode:
authorRyan Scott <ryan.gl.scott@gmail.com>2020-08-01 13:33:33 -0400
committerMarge Bot <ben+marge-bot@smart-cactus.org>2020-08-05 04:01:51 -0400
commitfbcb886d503dd7aaebc4c40e59615068b3fd0bd7 (patch)
treeefc61eca378f0d2b3a33d14efc482a5c1b2f63c2 /libraries/template-haskell/changelog.md
parenteb7013c3037538aa9c947a21dbbfd7c297929ac8 (diff)
downloadhaskell-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.md2
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