Changes between Version 1 and Version 2 of GhcKinds/PolyTypeable


Ignore:
Timestamp:
Feb 10, 2012 4:08:52 PM (3 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • GhcKinds/PolyTypeable

    v1 v2  
    11= Kind-polymorphic `Typeable` = 
    22 
    3 The page describes an improved implementation of the `Typeable` class.  Technically it is straightforward, but it represents a non-backward-compatible change to a widely used library, so we need to make a plan for the transition. 
     3The page describes an improved implementation of the `Typeable` class, using polymorphic kinds.  Technically it is straightforward, but it represents a non-backward-compatible change to a widely used library, so we need to make a plan for the transition. 
     4 
     5Relevant tickets we could thereby fix: #5391, #5863. 
     6 
     7Open question: what are the corresponding changes to `Data.Data`?  See #4896,  
    48 
    59== The current `Typeable` class ==