#5298: Inlined functions aren't fully specialised
---------------------------------+------------------------------------------
Reporter: reinerp | Owner:
Type: bug | Status: new
Priority: normal | Milestone: 7.4.1
Component: Compiler | Version: 7.0.3
Keywords: | Testcase:
Blockedby: | Difficulty:
Os: Unknown/Multiple | Blocking:
Architecture: Unknown/Multiple | Failure: Runtime performance bug
---------------------------------+------------------------------------------
Changes (by igloo):
* milestone: => 7.4.1
Comment:
Confirmed: with `g x = fac x` and
{{{
ghc -O B -ddump-simpl
}}}
we get
{{{
[...]
B.g [InlPrag=INLINE[0]] :: GHC.Types.Int -> GHC.Types.Int
[...]
"SPEC A.fac [GHC.Types.Int]" [ALWAYS]
forall {$dNum_srl :: GHC.Num.Num GHC.Types.Int}
A.fac @ GHC.Types.Int $dNum_srl
= B.$sfac
}}}
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/5298#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
