[GHC] #7893: GHCi :k shouldn't require type family arguments

GHC cvs-ghc at haskell.org
Tue May 7 14:29:03 CEST 2013


#7893: GHCi :k shouldn't require type family arguments
--------------------------------------+-------------------------------------
    Reporter:  MartijnVanSteenbergen  |        Owner:                  
        Type:  bug                    |       Status:  closed          
    Priority:  normal                 |    Component:  GHCi            
     Version:  7.6.3                  |   Resolution:  duplicate       
    Keywords:                         |           Os:  Unknown/Multiple
Architecture:  Unknown/Multiple       |      Failure:  Other           
   Blockedby:                         |     Blocking:                  
     Related:                         |  
--------------------------------------+-------------------------------------
Changes (by parcs):

  * status:  new => closed
  * resolution:  => duplicate


Comment:

 Yeah, the functionality already exists in HEAD as a result of #7586:

 {{{
 Prelude> :set -XTypeFamilies
 Prelude> type family Foo a
 Prelude> :k Foo
 Foo :: * -> *
 }}}

-- 
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7893#comment:2>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler



More information about the ghc-tickets mailing list