diff options
author | Richard Eisenberg <eir@cis.upenn.edu> | 2016-04-06 16:37:22 +0200 |
---|---|---|
committer | Richard Eisenberg <eir@cis.upenn.edu> | 2016-04-12 08:14:17 -0400 |
commit | dd99f2ece1bd139be02beddc6dc672862ee5ae34 (patch) | |
tree | e26a7a9155b4f3d8fab9543591ebb9be224e9742 /docs | |
parent | b1084fd700e6bbe9d0d787046a6aabdb193982c4 (diff) | |
download | haskell-dd99f2ece1bd139be02beddc6dc672862ee5ae34.tar.gz |
Fix #11797.
DsMeta curiously omitted quantified tyvars in certain circumstances.
This patch means it doesn't.
Test case: th/T11797
Diffstat (limited to 'docs')
-rw-r--r-- | docs/users_guide/8.0.1-notes.rst | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/docs/users_guide/8.0.1-notes.rst b/docs/users_guide/8.0.1-notes.rst index d79fdf2a90..2f011c4fe0 100644 --- a/docs/users_guide/8.0.1-notes.rst +++ b/docs/users_guide/8.0.1-notes.rst @@ -445,6 +445,14 @@ Template Haskell whether flags such as :ghc-flag:`-XStrictData` or :ghc-flag:`-funbox-strict-fields` are enabled. +- Previously, quoting a type signature like ``a -> a`` would produce the + abstract syntax for ``forall a. a -> a``. This behavior remains, but it + is extended to kinds, too, meaning that ``Proxy a -> Proxy a`` becomes + ``forall k (a :: k). Proxy a -> Proxy a``. This change is not intentional, + but is forced by the fact that GHC has a hard time telling kinds apart + from types. The effect of this change is that round-tripping kind- + polymorphic types will now require :ghc-flag:`-XTypeInType`. + Runtime system ~~~~~~~~~~~~~~ |