9 Jun
2014
9 Jun
'14
1:21 p.m.
This looks like a bug:
% poly Poly/ML 5.5.2 Release
Array.array(~12,4);
zsh: segmentation fault (core dumped) poly
9 Jun
9 Jun
3:36 p.m.
New subject: [polyml] Poly/ML Array.array segmentation fault
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
4016
Age (days ago)
4016
Last active (days ago)
1 comments
2 participants
participants (2)
-
David.Matthews＠prolingua.co.uk -
ramana＠member.fsf.org