More infinite simplifier bugs?
simonpj at microsoft.com
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 haskell.org [mailto:glasgow-haskell-users-
| bounces at haskell.org] 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., 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 haskell.org
More information about the Glasgow-haskell-users