#3738: Typechecker floats stuff out of INLINE right hand sides
--------------------------------------+-------------------------------------
Reporter: rl | Owner:
Type: bug | Status: new
Priority: normal | Milestone: 6.14 branch
Component: Compiler | Version: 6.13
Resolution: | Keywords:
Difficulty: | Os: Unknown/Multiple
Testcase: | Architecture: Unknown/Multiple
Failure: Runtime performance bug |
--------------------------------------+-------------------------------------
Comment (by rl):
I have no problems with waiting for the new constraint simplifier but
would like to point out that this does matter quite a bit. Change the
pragma on `foo` to `INLINE [1]` and add a rewrite rule for `foo`. We'd
expect the rule to fire when we inline `bar` but this doesn't happen since
`foo` doesn't appear in the unfolding.
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/3738#comment:2>
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
