diff options
Diffstat (limited to 'libraries/template-haskell/changelog.md')
-rw-r--r-- | libraries/template-haskell/changelog.md | 9 |
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 |