shrinker

Matthew Fluet fluet@CS.Cornell.EDU
Thu, 29 Nov 2001 21:59:40 -0500 (EST)


> Shrinker now handles eta-blocks (L (x) = L' (x)).  It passes all regressions and
> a self-compile, so I'm done working on the shrinker unless other bugs or missed
> optimizations are found.

Looks good.