Changes between Version 76 and Version 77 of TypeFunctionsStatus


Ignore:
Timestamp:
Sep 1, 2006 2:17:04 AM (9 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsStatus

    v76 v77  
    44
    55'''Current:'''
    6  * Handle `newtype instance`: In `MkId.mkDataConIds` extend the newtype worker, which is really a wrapper, such that it composes the two coercions, if its a family instance, in the worker unfolding.  It also need to get a different result type in the wrapper signature.
     6 * Next: Check for overlapping instances and fix importing/exporting of families and their instances.
    77
    88== Parsing and Renaming ==
     
    4141 * Kind and type checking of kind signatures.
    4242 * Kind and type checking of instance declarations of indexed types.
    43  * Wrapper generation and type checking of pattern matching for indexed data types (no newtypes yet.)
     43 * Wrapper generation and type checking of pattern matching for indexed data and newtypes.
    4444
    4545== Desugaring ==
    4646
    4747Todo (low-level):
    48  * Handle new type instances.
    4948 * When a family type is exported/imported, all its instances need to be implicitly imported/exported, just as with classes.
    5049 * Derivings on an associated data type ''declaration'' need to be inherited by all definitions of that data type in instances.