Changes between Version 73 and Version 74 of WikiStart

Show
Ignore:
Timestamp:
08/26/10 01:30:46 (4 years ago)
Author:
benl (IP: 203.206.176.236)
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • WikiStart

    v73 v74  
    1111 * The new core type checker is in place, and I've finally managed to eliminate the old TFetters constructor from Type expressions. 
    1212 * I'm currently cleaning up and documenting the type inferencer, and fixing bugs in the process. 
    13  * The most critical bugs are the Order2 and Order3-4 tests, which check effect inference applied to some pathological higher-order functions. These worked before but were broken during the last refactoring effort. I've worked out the problem and fixed the original bugs, and am following the changes in the rest of the code. 
     13 * The most critical bugs are the Order2 and Order3-4 tests, which check effect inference applied to some pathological higher-order functions. These worked before but were broken during the last refactoring effort. I've worked out the problem and fixed the original bugs, and am now following the changes in the rest of the code. 
    1414 
    1515==== Erik de Castro Lopo (m3ga) -- updated 18th Aug 2010  ====