From dd99f2ece1bd139be02beddc6dc672862ee5ae34 Mon Sep 17 00:00:00 2001 From: Richard Eisenberg Date: Wed, 6 Apr 2016 16:37:22 +0200 Subject: Fix #11797. DsMeta curiously omitted quantified tyvars in certain circumstances. This patch means it doesn't. Test case: th/T11797 --- docs/users_guide/8.0.1-notes.rst | 8 ++++++++ 1 file changed, 8 insertions(+) (limited to 'docs') 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 ~~~~~~~~~~~~~~ -- cgit v1.2.1