[GHC] #7587: Kind variables are not renamed
#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: -----------------------------+---------------------------------------------- {{{ ghci -XPolyKinds Prelude> data A x y Prelude> :k A A :: k -> k -> * }}} should be {{{k -> l -> *}}}. The 'k's are allowed to be different, there is just a name collision. -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7587> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#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 -----------------------------+---------------------------------------------- Changes (by goldfire): * related: => #7524 Comment: This may be a duplicate of #7524, but I don't know enough of the details to be sure. -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7587#comment:1> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#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
#7587: Kind variables are not renamed ---------------------------------+------------------------------------------ Reporter: monoidal | Owner: Type: bug | Status: closed Priority: normal | Milestone: Component: Compiler | Version: 7.6.1 Resolution: fixed | Keywords: Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: None/Unknown | Difficulty: Unknown Testcase: ghci/scripts/T7587 | Blockedby: Blocking: | Related: #7524 ---------------------------------+------------------------------------------ Changes (by simonpj): * status: new => closed * difficulty: => Unknown * resolution: => fixed * testcase: => ghci/scripts/T7587 Comment: Thank you; fixed. -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7587#comment:3> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
participants (1)
-
GHC