[GHC] #7587: Kind variables are not renamed
GHC
cvs-ghc at haskell.org
Thu Jan 24 14:23:05 CET 2013
#7587: Kind variables are not renamed
-----------------------------+----------------------------------------------
Reporter: monoidal | Owner:
Type: bug | Status: new
Priority: normal | Component: Compiler
Version: 7.6.1 | Keywords:
Os: Unknown/Multiple | Architecture: Unknown/Multiple
Failure: None/Unknown | Blockedby:
Blocking: | Related: #7524
-----------------------------+----------------------------------------------
Comment(by simonpj@…):
commit 2cc42dbb6ff09f4105fe44fe1afe9ac08a140d44
{{{
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date: Tue Jan 22 17:01:30 2013 +0000
When printing types in the interactive UI, take account of free
variables
Often the types we print are full-generalised, but in fact *kinds* are
not, so we need to use tidyOpenType.
Fixes Trac #7587
compiler/main/HscMain.hs | 2 ++
compiler/main/InteractiveEval.hs | 1 +
compiler/main/PprTyThing.hs | 7 ++++++-
compiler/typecheck/TcRnDriver.lhs | 1 +
4 files changed, 10 insertions(+), 1 deletions(-)
}}}
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7587#comment:2>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
More information about the ghc-tickets
mailing list