Changes between Version 5 and Version 6 of GhcKinds/PolyTypeable


Ignore:
Timestamp:
May 23, 2012 3:29:59 PM (2 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