Simon Marlow wrote: > Is this perhaps related to the following comment in TailCalls.h? It looks as though it might be the same bug. No response yet from the gcc maintainers, we'll see whether it gets fixed. -- Joe Buehler