Changes between Version 75 and Version 76 of TypeFunctionsStatus


Ignore:
Timestamp:
Aug 31, 2006 1:33:13 AM (8 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsStatus

    v75 v76  
    44 
    55'''Current:'''  
    6  * Handle `newtype instance`. 
     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. 
    77 
    88== Parsing and Renaming ==