Changes between Version 5 and Version 6 of GhcKinds/PolyTypeable


Ignore:
Timestamp:
May 23, 2012 3:29:59 PM (3 years ago)
Author:
dreixel
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • GhcKinds/PolyTypeable

    v5 v6  
    8484{{{
    8585typeOf :: forall a. Typeable a => a -> TypeRep
    86 typeOf = typeRep (Proxy :: Proxy a)
     86typeOf _ = typeRep (Proxy :: Proxy a)
    8787
    8888typeOf1 :: forall t (a :: *). Typeable t => t a -> TypeRep
    89 typeOf1 x = typeRep (Proxy :: Proxy t)
     89typeOf1 _ = typeRep (Proxy :: Proxy t)
    9090}}}
    9191