overflow detection

Henry Cejtin henry@clairv.com
Thu, 6 Jul 2000 00:26:33 -0500

I'm confused about overflow detection in MLton.  If I don't define
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?