More infinite simplifier bugs?
ronwalf at volus.net
Sat Jul 7 04:43:46 CEST 2012
On Fri, Jul 6, 2012 at 7:18 AM, Simon Peyton-Jones
<simonpj at microsoft.com> 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
-------------- next part --------------
A non-text attachment was scrubbed...
Size: 2340 bytes
Desc: not available
More information about the Glasgow-haskell-users