[GHC] #10665: INLINE breaks rewrite rules when '-g' is used
GHC
ghc-devs at haskell.org
Wed Jul 22 09:49:32 UTC 2015
#10665: INLINE breaks rewrite rules when '-g' is used
-------------------------------------+-------------------------------------
Reporter: slyfox | Owner:
Type: bug | Status: new
Priority: normal | Milestone:
Component: Compiler | Version: 7.10.2-rc2
(CodeGen) |
Resolution: | Keywords:
Operating System: Unknown/Multiple | Architecture:
Type of failure: Compile-time | Unknown/Multiple
crash | Test Case:
Blocked By: | Blocking:
Related Tickets: | Differential Revisions:
-------------------------------------+-------------------------------------
Comment (by simonpj):
Your diagnosis sounds dead right to me.
It is very unreliable to have a rule where functions on the LHS can be
inlined when the rule is active. Better to make sure that the rule is
active only up to phase 2 (say), and the inlining of `a2` happens only
after phase 2. Maybe this is really a bug in (the RULES of) conduit? Can
you describe the actual RULE and inlining?
Getting a panic is bad. Probably we should simply not inline in the LHS
of a rule, regardless of INLINE pragmas.
Simon
--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10665#comment:1>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
More information about the ghc-tickets
mailing list