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

GHC cvs-ghc at haskell.org
Tue Apr 16 17:41:55 CEST 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 <simonpj at microsoft.com>
 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



More information about the ghc-tickets mailing list