#3731: SYB gone wild - mysterious <<loop>> in code derived from an
syb-with-class
example
------------------------------------------+---------------------------------
Reporter: dsf | Owner:
Type: bug | Status: new
Priority: normal | Milestone:
Component: Compiler | Version: 6.12.1
Resolution: | Keywords:
Difficulty: | Os: Unknown/Multiple
Testcase: | Architecture: Unknown/Multiple
Failure: Incorrect result at runtime |
------------------------------------------+---------------------------------
Changes (by simonpj):
* difficulty: =>
Comment:
I looked into this again. I know (or at least I think I know) what the
problem is. It turns out to be a bug in the guts of the solver (which
wasn't originally intended to solve these recursive constraint sets).
I believe it works ok in the HEAD, although I am far from confident that
the bug is thoroughly squashed even there.
I'm not keen on burning cycles to fix this, because I'm in the midst of
re-engineering the entire solving apparatus.
However, it's bad if you are stuck. As a workaround, can you use the
HEAD? (Snapshot builds should be available.)
Simon
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/3731#comment:4>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
_______________________________________________
Glasgow-haskell-bugs mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
