#2722: <<loop> when compiling with -O option with ghc-6.10.0.20081019
-----------------------------------------+----------------------------------
Reporter: uwe | Owner: simonpj
Type: bug | Status: infoneeded
Priority: normal | Milestone: 7.0.3
Component: libraries (other) | Version: 7.0.1
Resolution: | Keywords: arrows
Testcase: tyepcheck/should_run/T2722 | Blockedby:
Difficulty: Unknown | Os: Linux
Blocking: | Architecture: x86_64 (amd64)
Failure: Runtime crash |
-----------------------------------------+----------------------------------
Comment(by simonpj):
OK, my comment with the patch "Major refactoring of the type inference
engine" is a complete red herring; this ticket is about something
different.
The original bug turned out to be that a RULE in `Control.Arrow` was
incompatible with a client's instance declaration. It's possible
(probable, even) that the same thing is happening here.
* Try with `-O -fno-enable-rewrite-rules` which will switch off all
rewrite rules but enable other optimisations.
* Try `-ddump-rule-firings` to see which rules are firing
* If that is OK, try disabling rules in `Control.Arrow` to try to binary-
chop your way to the offending RULE.
Let me know if I can help, but currently I believe this is a
library/client problem rather than a GHC one.
Simon
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/2722#comment:18>
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
