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
[email protected]
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
_______________________________________________
polyml mailing list
[email protected]
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
