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 _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe