[GHC] #3731: SYB gone wild - mysterious <<loop>> in code derived from an syb-with-class example

[GHC]

#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.13            
Resolution:                               |       Keywords:                  
Difficulty:                               |             Os:  Unknown/Multiple
  Testcase:                               |   Architecture:  Unknown/Multiple
   Failure:  Incorrect result at runtime  |  
------------------------------------------+---------------------------------
Comment (by simonpj):

 Oh well that disappointing.  If you can make `Bug2` not depend on
 Happstack, that'll make it much easier for me to look at.

 But realistically, I'm pretty strongly inclined to wait for the new
 solver.  It's hard to motivate myself to look into a Very Dark Corner of
 the old solver when I'm about to throw it away entirely.

 Can you live with that?  Months, not weeks.  But not years.

 Regardless, a cut-down `Bug2` would be very very good, because I'll
 promise to use it as a test case for the new solver; so when it arrives,
 it'll solve your problem.

 Simon

-- 
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/3731#comment:8>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler