I'm confused about overflow detection in MLton. If I don't define
DETECT_OVERFLOW
to be TRUE then it is FALSE and so things like Int_mul are NOT redefined to
be Int_mulCheck so overflow detection will NOT happen. Despite that, I
compiled some code (using Int.int's) and it DID get an overflow exception.
How did this happen? Also, shouldn't DETECT_OVERFLOW default to TRUE?