common block elimination

Matthew Fluet mfluet@intertrust.com
Mon, 6 Aug 2001 17:45:10 -0700 (PDT)


> about it.  Oh yeah, one other thing I just saw -- if the order of the newDecs
> doesn't matter, you can use an appendRev instead of @.  But that's very minor.

The order of the newDecs doesn't matter; they are all of the form:

fun L_Y () = raise (global_y)

I'll throw it in, but I can't imagine the newDecs list getting much bigger
than a dozen or so elements.