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