> There seems to be a problem with IntInf shifts. I would like to see > this fixed, as I am keener on MLton than ever. Can you be more specific? We know of no known bugs with IntInf shifts.