Changes between Version 122 and Version 123 of TypeFunctionsStatus


Ignore:
Timestamp:
Dec 28, 2006 7:11:24 PM (7 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsStatus

    v122 v123  
    33Back to TypeFunctions. 
    44 
    5 '''Current:'''  
    6  1. Add type synonym instances to ifaces 
    7  2. Well-formedness checks for equational constraints (i.e., anything beyond the type arguments being boxed, rank 0 types) 
     5'''Current:''' 
     6 1. Managing of equational constraints during type inference. 
     7 2. Add type synonym instances to ifaces 
     8 3. Well-formedness checks for equational constraints (i.e., anything beyond the type arguments being boxed, rank 0 types) 
    89 
    910== Parsing and Renaming ==