SSA IL

Stephen Weeks MLton@sourcelight.com
Tue, 9 Oct 2001 16:00:17 -0700


> Is there a particular reason why the set of SSA functions is a list rather
> than a vector?

Yes.  Space safety.  Because when translating from one program to another, one
function at a time, Vector.map and Vector.fold keep alive the whole vector,
while the corresponding List functions only keep alive the tail.  That space
leak can hurt on big programs.