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

7 May 2013

      #7893: GHCi :k shouldn't require type family arguments
----------------------------------+-----------------------------------------
Reporter:  MartijnVanSteenbergen  |          Owner:                  
    Type:  bug                    |         Status:  new             
Priority:  normal                 |      Component:  GHCi            
 Version:  7.6.3                  |       Keywords:                  
      Os:  Unknown/Multiple       |   Architecture:  Unknown/Multiple
 Failure:  Other                  |      Blockedby:                  
Blocking:                         |        Related:                  
----------------------------------+-----------------------------------------
 Hi,

 {{{
 type family F t :: *
 }}}

 If I load this program in GHCi and ask for F's kind using `:k F`, I get
 the error:

 {{{
   Type synonym `F' should have 1 argument, but has been given none
 }}}

 I expect GHCi to be able to tell me the kind of F without satisfying its
 type parameters first.

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