[Haskell-cafe] GHC, odd concurrency space leak

[Daniel Fischer]

Am Donnerstag 15 April 2010 00:52:22 schrieb Jason Dagit:
> The bad version, ghc --make NonTermination.hs:
> \begin{code}
> {-# OPTIONS -O2 #-}
> {-# LANGUAGE GeneralizedNewtypeDeriving #-}
>
> -- Note:  Change the optimization to -O1 to get a terminating version

Doesn't seem to terminate with -O1 here (killed after ~30 seconds).
However, it does terminate with -O2 and -fno-state-hack, but leaks (and 
there's no difference between forever and forever' with -O2 -fno-state-
hack).

>
> Can some core expert please look at these and explain the difference?
>

I'm interested in an explanation too.

> Thanks!
> Jason

& Daniel