Thanks Bas and Ketil, the point I wanted to stress though is that the stack overflow does actually not occur doing the recursive algorithm, just a build-up of thunks. The algorithm itself will eventually complete without the stack overflow. The problem occurs when the result value is needed and thus the thunks need to be reduced, starting with the outermost, which can't be reduced without reducing the next one .... etc and it's these reduction steps that are pushed on the stack until its size cause a stack-overflow. Günther Günther Schmidt schrieb:
Hi all,
I've been running into stack-overflow problems for some time now. Here is what I gathered so far.
I used to think that the build up of thunks caused the stack overflow when, as it turns out, it does not.
I apparently can have a huge thunk build up eventhough I use a supposedly accumulative, tail-recursive algorithm.
Apparently it is the evaluation of this huge build-up that causes the stack-overflow but not the thunk-build-up *as such*.
Do I understand this correctly?
Günther