Make :kind in GHCi do kind generalisation, always (Trac #7688)
authorSimon Peyton Jones <simonpj@microsoft.com>
Fri, 15 Feb 2013 17:14:36 +0000 (17:14 +0000)
committerSimon Peyton Jones <simonpj@microsoft.com>
Fri, 15 Feb 2013 17:14:36 +0000 (17:14 +0000)
commited2108267b93e6abd769192bdc8fe86cefef7a70
tree25fa3870111c9c179008204cae362078f2e3762b
parentd8ab46d2258fbf765dc39e5868e18606624dc36c
Make :kind in GHCi do kind generalisation, always (Trac #7688)

See Note [Kind-generalise in tcRnType] in TcRnDriver, and
the notes in Trac #7688
compiler/typecheck/TcRnDriver.lhs