#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@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