nontail Bug continuations

Matthew Fluet fluet@CS.Cornell.EDU
Sat, 10 Nov 2001 11:05:38 -0500 (EST)


> I just fixed a weird bug caused by the interaction of removeUnused and
> the shrinker.  RemoveUnused changes unreachable continuations into Bug
> continuations.  

It's not that weird; or, rather, I kept meaning to mention that the
shrinker should turn Bug continuations into tail calls because
removeUnused would introduce them. ;)