> And here's the relevant portion of the script I've been running: ... Any opinion on whether I should compile kit.sml and mlton.sml with -no-polyvariance?