|10|| ||==== Ben Lippmeier (benl23) -- updated
|26th August 2010 ====
|11|| || *
|The new core type checker is in place, and I've finally managed to eliminate the old TFetters constructor from Type expressions.
|12|| || *
|I'm currently cleaning up and documenting the type inferencer, and fixing bugs in the process.
|13|| || * Th
|e 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 identified the problem and fixed the original bugs, and am now following the changes in the rest of the code.
| ||10||==== Ben Lippmeier (benl23) -- updated th August 2010 ====
| ||11|| *
| ||12|| * s.
| ||13|| * Th.