Re: Hugs crashing bug

[reid-alastair]

Hi Conal,

[Ignore previous message - I found the comments about tstB b1 at the end of
your file.]

The core-dump is caused by a stack overflow during garbage collection.
The stack overflow is because the (recursive) markCell function is
 traversing a very deep data structure which eventually overflows the
 C stack.

This could be fixed by rewriting large chunks of that garbage
collector - but hopefully you can get away with the much simpler
option of running with a smaller heap?

Alastair