shrinker update

Stephen Weeks MLton@sourcelight.com
Fri, 9 Nov 2001 18:30:57 -0800


Not quite there yet.  I've found and fixed many bugs in the shrinker,
and elsewhere (in simplifyTypes, useless, backend, ...).  One of the
more serious bugs meant that checkHandlers wasn't actually checking
anything.  I just fixed that, but now have a bit more work to make
sure checkHandlers is actually right.  I'm off for the night, but am
hopefully now less than one day's work away from shrinker checkin.