#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
_______________________________________________
Glasgow-haskell-bugs mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
