More infinite simplifier bugs?

Ron Alford 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
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: <http://www.haskell.org/pipermail/glasgow-haskell-users/attachments/20120706/ccb20e30/attachment.obj>


More information about the Glasgow-haskell-users mailing list