Context Navigation

Changes between Version 74 and Version 75 of WikiStart

v74	v75
11	11	* The new core type checker is in place, and I've finally managed to eliminate the old TFetters constructor from Type expressions.
12	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 now 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 identified the problem and fixed the original bugs, and am now following the changes in the rest of the code.
14	14
15	15	==== Erik de Castro Lopo (m3ga) -- updated 18th Aug 2010 ====