[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