3 Mar
2011
3 Mar
'11
1:09 a.m.
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 ();
3 Mar
3 Mar
4:17 p.m.
New subject: [polyml] Infinite loop when forcing GC after creating a weak pointer
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
5393
Age (days ago)
5393
Last active (days ago)
1 comments
2 participants
participants (2)
-
David.Matthews＠prolingua.co.uk -
ivan.tomac＠gmail.com