summaryrefslogtreecommitdiff
path: root/libraries/template-haskell/changelog.md
diff options
context:
space:
mode:
Diffstat (limited to 'libraries/template-haskell/changelog.md')
-rw-r--r--libraries/template-haskell/changelog.md9
1 files changed, 9 insertions, 0 deletions
diff --git a/libraries/template-haskell/changelog.md b/libraries/template-haskell/changelog.md
index 18b12fd4e7..a6d6307b7e 100644
--- a/libraries/template-haskell/changelog.md
+++ b/libraries/template-haskell/changelog.md
@@ -1,5 +1,14 @@
# Changelog for [`template-haskell` package](http://hackage.haskell.org/package/template-haskell)
+## 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`.
+
## 2.16.0.0 *TBA*
* Add support for tuple sections. (#15843) The type signatures of `TupE` and