[polyml] Poly/ML Array.array segmentation fault

ramana＠member.fsf.org

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