Hi, I recently discovered that MLton rejects the following program: val x = let exception E of 'a in () end; Although not very useful code, it should be accepted. Cheers, - Andreas PS: Btw., the mail link on http://mlton.org/Bug contains a trailing dot. -- Andreas Rossberg, rossberg@ps.uni-sb.de Let's get rid of those possible thingies! -- TB