Changes between Version 2 and Version 3 of GhcKinds/PolyTypeable


Ignore:
Timestamp:
Feb 14, 2012 6:53:56 AM (2 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • GhcKinds/PolyTypeable

    v2 v3  
    7171 * Include in `Data.Typeable` old methods for backward compatibility, but deprecate them: 
    7272{{{ 
    73 typeOf :: forall a. Typeable a => a -> TypeRep 
    74 typeOf x = typeRep (getType x) where 
    75   getType :: a -> Proxy a 
    76   getType _ = Proxy 
     73ttypeOf :: forall a. Typeable a => a -> TypeRep 
     74typeOf = typeRep (Proxy :: Proxy a) 
    7775 
    7876typeOf1 :: forall t (a :: *). Typeable t => t a -> TypeRep 
    79 typeOf1 x = typeRep (getType1 x) where 
    80   getType1 :: t a -> Proxy t 
    81   getType1 _ = Proxy 
     77typeOf1 x = typeRep (Proxy :: Proxy t) 
    8278}}} 
    8379