[GHC] #7586: :kind command cannot show kind of type synonyms

15 Jan 2013


      #7586: :kind command cannot show kind of type synonyms
-----------------------------+----------------------------------------------
Reporter:  augustss          |          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:                  
-----------------------------+----------------------------------------------
 The following illustrates the problem:
 {{{
 Prelude> type T a = Int
 Prelude> :k T

 <interactive>:1:1:
     Type synonym `T' should have 1 argument, but has been given none
     In a type in a GHCi command: T
 }}}
 Undoubtedly, T has a kind, and there's no reason to insist that the type
 given to the :kind command should be fully applied.

-- 
Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/7586
GHC http://www.haskell.org/ghc/
The Glasgow Haskell Compiler