diff options
Diffstat (limited to 'libraries/template-haskell/changelog.md')
-rw-r--r-- | libraries/template-haskell/changelog.md | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/libraries/template-haskell/changelog.md b/libraries/template-haskell/changelog.md index d3eaa00b4c..0b3aa8d079 100644 --- a/libraries/template-haskell/changelog.md +++ b/libraries/template-haskell/changelog.md @@ -9,7 +9,7 @@ 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`. - + * Implement Explicit specificity in type variable binders (GHC Proposal #99). In `Language.Haskell.TH.Syntax`, `TyVarBndr` is now annotated with a `flag`, denoting the additional argument to its constructors `PlainTV` and `KindedTV`. @@ -26,6 +26,9 @@ * Add `MonadFix` instance for `Q` (#12073). + * Add support for QualifiedDo. The data constructors `DoE` and `MDoE` got a new + `Maybe ModName` argument to describe the qualifier of do blocks. + ## 2.16.0.0 *TBA* * Add support for tuple sections. (#15843) The type signatures of `TupE` and |