Changes between Version 2 and Version 3 of GhcKinds/PolyTypeable


Ignore:
Timestamp:
Feb 14, 2012 6:53:56 AM (3 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