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

16 Apr 2013

      #7586: :kind command cannot show kind of type synonyms
-------------------------------+--------------------------------------------
  Reporter:  augustss          |          Owner:                  
      Type:  bug               |         Status:  new             
  Priority:  normal            |      Milestone:                  
 Component:  Compiler          |        Version:  7.6.1           
Resolution:                    |       Keywords:                  
        Os:  Unknown/Multiple  |   Architecture:  Unknown/Multiple
   Failure:  None/Unknown      |     Difficulty:  Unknown         
  Testcase:                    |      Blockedby:                  
  Blocking:                    |        Related:                  
-------------------------------+--------------------------------------------

Comment(by simonpj@…):

 commit 46e204f7e0dc08a84a64ecc2fdaa9e3abef8438f
 {{{
 Author: Simon Peyton Jones 
 Date:   Tue Apr 16 16:40:48 2013 +0100

     Allow partial applications of a type synonym in :kind in GHCi (Trac
 #7586)

     Documentation is done too

  compiler/typecheck/TcValidity.lhs |   68
 ++++++++++++++++++++----------------
  docs/users_guide/ghci.xml         |   18 +++++++++-
  2 files changed, 55 insertions(+), 31 deletions(-)
 }}}

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