integration of PolySpace mods into MLton

Henry Cejtin henry@sourcelight.com
Tue, 5 Feb 2002 14:38:18 -0600


The -mwide-multiply certainly seems to be the default, but -fschedule-insns
(or -mschedule-insns2) might be interesting to try.