On Tue, Apr 23, 2013 at 09:36:04AM +0200, Petr Pudlák wrote: > I tested it on GHC 6.12.1, which wasn't affected by the recent "ackermann" > bug, but still it leaks memory. I tested it on GHC 7.4.1 and I don't see any space leak.