#5928: INLINABLE fails to specialize in presence of simple wrapper
---------------------------------+------------------------------------------
Reporter: tibbe | Owner:
Type: bug | Status: new
Priority: normal | Milestone:
Component: Compiler | Version: 7.4.1
Keywords: | Os: Unknown/Multiple
Architecture: Unknown/Multiple | Failure: None/Unknown
Difficulty: Unknown | Testcase:
Blockedby: | Blocking:
Related: |
---------------------------------+------------------------------------------
Changes (by simonpj):
* difficulty: => Unknown
Comment:
> Manually marking `(!)` as `INLINABLE` works, but users shouldn't have to
do that.
Why do you say that "users should not have to do that"? Why are you happy
to annotate `lookup` but not `(!)`?
Maybe your position is:
* every overloaded function should be `INLINABLE`.
If that was the rule then all overloading would be specialised, at the
cost of some code duplication. But it's not the rule at the moment. I
guess we could have a flag to give that behaviour -- but then you'd have
to remember to use it.
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/5928#comment:3>
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
