contifier bug

Matthew Fluet fluet@CS.Cornell.EDU
Thu, 22 Feb 2001 18:06:02 -0500 (EST)


> The new contifier appears to have a bug (or two).  In trying to run it on the
> kit benchmark, I get an unhandled Option exception during transform when using
> the Dom contify strategy, and I get an apparently bogus expression when using
> the CallCont contify strategy.  The latter I conclude because the shrinker
> complains.

O.k.  I'll take a look at them.