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
