On 4/8/2012 2:21 AM, Timon Gehr wrote: > On 04/08/2012 10:45 AM, Timon Gehr wrote: >> That actually sounds like a pretty awesome idea. > > I understand that the stack will still have to be scanned conservatively, but > how does the scheme deal with closures? For now, just treat them conservatively.