integration of PolySpace mods into MLton

Henry Cejtin henry@sourcelight.com
Tue, 5 Feb 2002 16:19:19 -0600 

Ah, makes sense.  Did he say how much he had to change?  Also did he use gcc
on the Sparc?