MLton.Finalizable.touch doesn't necessarily keep values alive long enough. Our SVN has a patch to the compiler. You must rebuild the compiler in order for the patch to take effect.

Thanks to Florian Weimer for reporting this bug.

A bug in an optimization pass may incorrectly transform a program to flatten ref cells into their containing data structure, yielding a type-error in the transformed program. Our CVS has a patch to the compiler. You must rebuild the compiler in order for the patch to take effect.

Thanks to VesaKarvonen for reporting this bug.

A bug in the front end mistakenly allows unary constructors to be used without an argument in patterns. For example, the following program is accepted, and triggers a large internal error.

 fun f x = case x of SOME => true | _ => false

Thanks to William Lovas for reporting this bug.

A bug in Posix.IO.{getlk,setlk,setlkw} causes a link-time error: undefined reference to Posix_IO_FLock_typ Our CVS has a patch to the Basis Library implementation.

Thanks to Adam Chlipala for reporting this bug.

A bug can cause programs compiled with -profile alloc to segfault. Our CVS has a patch to the compiler. You must rebuild the compiler in order for the patch to take effect.

Thanks to John Reppy for reporting this bug.

A bug in an optimization pass may incorrectly flatten ref cells into their containing data structure, breaking the sharing between the cells. Our CVS has a patch to the compiler. You must rebuild the compiler in order for the patch to take effect.

Thanks to Paul Govereau for reporting this bug.

Some arrays or vectors, such as (char * char) vector, are incorrectly implemented, and will conflate the first and second components of each element. Our CVS has a patch to the compiler. You must rebuild the compiler in order for the patch to take effect.

Thanks to Scott Cruzen for reporting this bug.

Socket.Ctl.getLINGER and Socket.Ctl.setLINGER mistakenly raise Subscript. Our CVS has a patch to the Basis Library implementation.

Thanks to Ray Racine for reporting the bug.

CML Mailbox.send makes a call in the wrong atomic context. Our CVS has a patch to the CML implementation.

OS.Path.joinDirFile and OS.Path.toString did not raise InvalidArc when they were supposed to. They now do. Our CVS has a patch to the Basis Library implementation.

Thanks to Andreas Rossberg for reporting the bug.

The front end incorrectly disallows sequences of expressions (separated by semicolons) after a topdec has already been processed. For example, the following is incorrectly rejected.

 val x = 0;
 ignore x;
 ignore x;

Thanks to Andreas Rossberg for reporting the bug.

The front end incorrectly disallows expansive val declarations that bind a type variable that doesn't occur in the type of the value being bound. For example, the following is incorrectly rejected.

 val 'a x = let exception E of 'a in () end

Thanks to Andreas Rossberg for reporting this bug.

The x86 codegen fails to account for the possibility that a 64-bit move could interfere with itself (as simulated by 32-bit moves). We have fixed the problem in our CVS.

Thanks to Scott Cruzen for reporting this bug.

NetHostDB.scan and NetHostDB.fromString incorrectly raise an exception on internet addresses whose last component is a zero, e.g 0.0.0.0. Our CVS has a patch to the Basis Library implementation.

Thanks to Scott Cruzen for reporting this bug.

StreamIO.inputLine has an off-by-one error causing it to drop the first character after a newline in some situations. Our CVS has a patch. to the Basis Library implementation.

Thanks to Scott Cruzen for reporting this bug.

BinIO.getInstream and TextIO.getInstream are implemented incorrectly. This also impacts the behavior of BinIO.scanStream and TextIO.scanStream. If you (directly or indirectly) realize a TextIO.StreamIO.instream and do not (directly or indirectly) call TextIO.setInstream with a derived stream, you may lose input data. We have fixed the problem in our CVS.

Thanks to WesleyTerpstra for reporting this bug.

Posix.ProcEnv.setpgid doesn't work. If you compile a program that uses it, you will get a link time error

undefined reference to `Posix_ProcEnv_setpgid'

 Int Posix_ProcEnv_setpgid (Pid p, Gid g) {
        return setpgid (p, g);
}

Thanks to Tom Murphy for reporting this bug.