Changes between Version 122 and Version 123 of TypeFunctionsStatus


Ignore:
Timestamp:
Dec 28, 2006 7:11:24 PM (9 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 ==