local refs

Matthew Fluet fluet@CS.Cornell.EDU
Wed, 5 Dec 2001 15:29:33 -0500 (EST)


A question I forgot to ask earlier:

I tried running doing -diag localRef on a self-compile, but it left the
program unchanged because it found threads or conts.

I'm fairly confident that mlton isn't using threads, so it must be using
continuations somewhere.  Any idea where?  Besides localRef, aren't we
missing out on some stuff in constantPropagation because the Once pass
finds conts?