Here are four different self compiled versions of MLton, compiled with and without polyvariance and with two different inlining thresholds (15 and 25). Here are the running times for compiling lexgen. -np (polyv) ------ ------- -i 15 136.35 104.78 -i 25 129.7 99.52 Here are the code sizes. -np (polyv) ------- ------- -i 15 3417017 6062297 -i 25 3963693 6793181