Changes between Version 3 and Version 4 of GhcKinds/PolyTypeable


Ignore:
Timestamp:
Apr 5, 2012 8:41:29 PM (3 years ago)
Author:
dreixel
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • GhcKinds/PolyTypeable

    v3 v4  
    6262i.e. an instance of `T` itself, not applied to anything.
    6363
     64=== Aside ===
     65
     66Iavor suggested:
     67{{{
     68class Typeable (a :: k) where
     69  typeRep :: TTypeRep a
     70
     71newtype TTypeRep a = TR TypeRep
     72}}}
     73
     74Is this perhaps better?
     75
    6476== A change-over plan ==
    6577