This looks like a bug:
% poly Poly/ML 5.5.2 Release > Array.array(~12,4); zsh: segmentation fault (core dumped) poly
_______________________________________________ polyml mailing list [email protected] http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
