I suspect I am stupid again

Stephen Weeks MLton@sourcelight.com
Fri, 21 Sep 2001 10:51:31 -0700


> Various "hacks" let me compile lrtl.sml.  (For example, switching from
> Adom/ancestor to Adom/parent.)  But, I want to figure out the right way of
> doing this.  One way is to just punt on everything, but that seems bad.
> In particular, the whole maximality of Adom is sort of an illusion -- if
> we punt, then x_100806 which is Acall contifiable is not actually
> contified by Adom.

Given the imminent :-) move to SSA, I'm not sure it's worth spending too much
time on this other than scaling back enough to turn off the bug.