Stefan Berghofer wrote:
the attached ML file causes Poly/ML 4.1.3 to crash with a segmentation fault under Linux version 2.4.21-243-smp4G. Any help would be greatly appreciated.
The bug seems to be in the implementation of the equality operator.
Thanks for reporting this and narrowing it down to something manageable. It turned out to be a bug in the equality compiler in 4.1.3 which was generating bad code. I'm not sure what the errors in the earlier versions were. I've fixed the bug in the development sources http://www.polyml.org/polyml-devel.tar.gz and this will be included in the next release. If you're not happy about rebuilding from source it is possible to work around the bug. The code below doesn't seem to crash. Regards, David.
datatype ('a, 'v) trie = Trie of 'v option * (('a, 'v) trie') list and ('a, 'v) trie' = Trie' of ('a * ('a, 'v) trie);
val x = Trie (NONE, [Trie' (0, Trie (SOME ~2, []))]);
val y = Trie (NONE, [Trie'(~2, Trie (NONE, [Trie'(0, Trie (SOME 1, [])), Trie'(0, Trie (NONE, []))])), Trie'(0, Trie (SOME ~2, [Trie'(0, Trie (SOME 2, [])), Trie'(1, Trie (SOME ~1, []))]))]);
x = y ;