Changes between Version 3 and Version 4 of PolymorphicKinds


Ignore:
Timestamp:
Oct 17, 2008 8:51:08 AM (7 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