| 10 | | ==== Ben (benl23) -- updated 5th August 2010 ==== |
| 11 | | * I've rewritten the core type checker, and am currently replacing calls to the old from Core.Reconstruct. This will require cleaning up the lambda lifter. |
| 12 | | * Once that's done we should be able to check the core program from just after Core.Thread through to Core.ToSea. |
| | 10 | ==== Ben (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 | * 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. |
