bug report (complete)

Matthew Fluet mfluet@intertrust.com
Sat, 14 Jul 2001 15:11:36 -0700 (PDT)


Thanks for the bug report.  I tracked down the bug and wrote the fix.  If
you are able to successfully do a self compile, replace the function
fun andb ...  at line 845 of src/mlton/atoms/prim.fun with the following
function:

		  fun andb isWord8 =
		     if w = 0w0
		        then zero isWord8
		     else if w = allOnes isWord8
		        then Var x
			else Unknown

(The old version essentially said that Word32.andb(x, 0wxFF) = x because
it wasn't checking the isWord8 flag.)

If you can't do a self compile, we'll set you up with a patched release.

-Matthew