Changes between Version 122 and Version 123 of TypeFunctionsStatus

Show
Ignore:
Timestamp:
12/28/06 11:11:24 (6 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 ==