j
k
j a
j l
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 ();
Back to the thread
Back to the list
