Changes between Version 3 and Version 4 of PolymorphicKinds


Ignore:
Timestamp:
Oct 17, 2008 8:51:08 AM (6 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • PolymorphicKinds

    v3 v4  
    2828data Proxy :: forall k . k -> * 
    2929 
    30 forall_kind k . class Typeable (t :: k) where 
     30class Typeable (k :: **) (t :: k) where 
    3131  typeOf :: Proxy t -> TypeRep 
    3232