More infinite simplifier bugs?

Simon Peyton-Jones simonpj at
Fri Jul 6 13:18:10 CEST 2012

try with -ddump-rule-firings -dverbose-core2core -ddump-occur-anal -ddump-inlinings.

You'll get a lot of output ,but you may either see (a) output stops but computer gets hot, (b) output goes on and on.  

use HEAD if you can


|  -----Original Message-----
|  From: glasgow-haskell-users-bounces at [mailto:glasgow-haskell-users-
|  bounces at] On Behalf Of Ron Alford
|  Sent: 06 July 2012 05:04
|  To: glasgow-haskell-users
|  Subject: More infinite simplifier bugs?
|  So a while back Simon added a tick counter to the simplifier:
|  Are there any known bugs that can cause the simplifier to run out of
|  memory /without/ hitting the tick counter limit?
|  I have code that /used/ to run (at least after hacking around the
|  previous simplifier bug):
|  With GHC 7.4.[12], it exhausts all the RAM on my machine (4GB).
|  Compiling with -O0 fixes the problem.  I can start bisecting my code
|  to find the problem if nothing comes to mind.
|  -Ron Alford
|  (who seems to be good at killing the simplifier)
|  _______________________________________________
|  Glasgow-haskell-users mailing list
|  Glasgow-haskell-users at

More information about the Glasgow-haskell-users mailing list