9 Jun
2014
9 Jun
'14
3:36 p.m.
Thanks. It wasn't checking correctly. I've fixed it in trunk and also fixes-5.5.2.
David
On 09/06/2014 13:21, Ramana Kumar wrote:
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 polyml at inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/polyml