#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):
Are you saying that it's not a problem now or won't be a problem with the
new constraint simplifier? At the moment, `foo` won't appear in `bar`'s
unfolding even with `{-# INLINE [1] foo #-}`. This has nothing to do with
the simplifier; as you point out, it is floated out by the typechecker
which doesn't care about phasing.
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/3738#comment:4>
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
