[MLton] Type-inference bug?

[Wesley W. Terpstra]

terpstra@dakar:~$ ./mlton/build/bin/mlton
MLton MLTONVERSION (built Wed Jul 13 12:57:45 2005 on dakar)
terpstra@dakar:~$ cat bug.sml
val x = ref (fn _ => ())
val () = x := (fn x => (x andalso true; ()))
val y = MLton.Weak.new (!x)
val z = MLton.Weak.get y
val _ = if isSome z then print "Resident\n" else print "Cleared\n"
terpstra@dakar:~$ ./mlton/build/bin/mlton bug.sml
AbstractValue.fromType: non-arrow

20041109 does this too.

-- 
Wesley W. Terpstra