Changes between Version 76 and Version 77 of TypeFunctionsStatus


Ignore:
Timestamp:
Sep 1, 2006 2:17:04 AM (8 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.