3 Mar
2011
3 Mar
'11
4:17 p.m.
Actually it was a deadlock but still it was a bug. Thanks for reporting it. I've fixed it in SVN head and I'll probably port the fix to the fixes branch.
David
On 03/03/2011 01:08, Ivan Tomac wrote:
Entering this from the REPL appears to make Poly/ML go into an infinite loop:
$ rlwrap poly Poly/ML 5.4 Release
val w = let val x = SOME (ref 3) in Weak.weak x end;
val w = ref (SOME (ref 3)): int ref option ref
PolyML.fullGC ();
polyml mailing list polyml@inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/polyml