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
[email protected]
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
_______________________________________________
polyml mailing list
[email protected]
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
