Changes between Version 58 and Version 59 of TypeFunctionsStatus


Ignore:
Timestamp:
Aug 22, 2006 6:51:00 PM (9 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsStatus

    v58 v59  
    6262 * Extension of `TyCon.TyCon` with a reference to the parent `TyCon` for data instances.
    6363 * Extension of `DataCon.DataCon` with instance types for constructors belonging to data instances.
    64  * Extension of `TyCon.TyCon' such that the parent of a data instance is paired with a coercion identifying family instance and representation type.
     64 * Extension of `TyCon.TyCon` such that the parent of a data instance is paired with a coercion identifying family instance and representation type.
    6565
    6666