[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:  igloo                      
        Type:  bug               |       Status:  new                        
    Priority:  normal            |    Milestone:  7.0.1                      
   Component:  Compiler          |      Version:  6.13                       
    Keywords:                    |     Testcase:                             
   Blockedby:                    |   Difficulty:                             
          Os:  Unknown/Multiple  |     Blocking:                             
Architecture:  Unknown/Multiple  |      Failure:  Incorrect result at runtime
---------------------------------+------------------------------------------

Comment(by Saizan):

 Bug2.hs used syb-with-class not syb, so i guess it'd be even more
 complicated.

 sybwc-testcase.tar.gz has all the needed sources, which are small, and
 needs only base to build.

 On success running Bug2 should print "Proposition (Conjunction [])", on
 failure it hangs.

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