More infinite simplifier bugs?

Ron Alford ronwalf at
Sat Jul 7 04:43:46 CEST 2012

On Fri, Jul 6, 2012 at 7:18 AM, Simon Peyton-Jones
<simonpj at> wrote:
> 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

Thanks.  I haven't set HEAD up yet, but for 7.4.2, (b) appears to be
the case (the function pddlDocExpr appears in the output quite often).
I'm still trying to whittle down my program to a small test case, but
even small and seemingly irrelevant changes are enough to restore
GHC's termination.

-Ron Alford
-------------- next part --------------
A non-text attachment was scrubbed...
Name: ghcloop.hs
Type: application/octet-stream
Size: 2340 bytes
Desc: not available
URL: <>

More information about the Glasgow-haskell-users mailing list