17 Nov
2008
17 Nov
'08
5:15 p.m.
Dear list,
The following code leads to a segmentation fault when fed into polyml:
fun REPEAT t r c = REPEAT t c (t r c); fun I x = x; fun f r c n = if n <= 0 then r n else c n;
fun g x = REPEAT f I I x;
g 0;
The code really doesn't make any sense... but assuming that polyml should never segfault, this must be a bug.
Any ideas why this occurs? Does it have to do with the value restriction in some form?
Thanks, Alex