[mercury-users] List Append segfault

[Michael Day]

> Yes.  This is a difference between --high-level-code (hl* grades)
> and --no-high-level-code.  The --high-level-code back-end uses the
> system stack, which makes it hard to trap stack overflow.
> The --no-high-level-code back-end uses our own Mercury stacks,
> for which it is a lot easier to trap stack overflow.

I see:

void main() {
    int foo[10000000];
    foo[0] = 0;
}

Segmentation fault

Still quite an annoying error, though :)

Michael

--------------------------------------------------------------------------
mercury-users mailing list
post:  mercury-users at cs.mu.oz.au
administrative address: owner-mercury-users at cs.mu.oz.au
unsubscribe: Address: mercury-users-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-users-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------