[GHC] #14790: eqTypeRep does not inline
GHC
ghc-devs at haskell.org
Mon Feb 12 13:09:20 UTC 2018
#14790: eqTypeRep does not inline
-------------------------------------+-------------------------------------
Reporter: dfeuer | Owner: (none)
Type: bug | Status: new
Priority: normal | Milestone: 8.6.1
Component: Compiler | Version: 8.4.1-alpha2
Resolution: | Keywords:
Operating System: Unknown/Multiple | Architecture:
Type of failure: Runtime | Unknown/Multiple
performance bug | Test Case:
Blocked By: | Blocking:
Related Tickets: | Differential Rev(s):
Wiki Page: |
-------------------------------------+-------------------------------------
Comment (by dfeuer):
Adding an `INLINE` pragma to a wrapper is exactly what GHC does in its
worker/wrapper transformation, so I don't think it's too big a commitment.
My third point is that if we know one of the arguments at compile time, we
only need to inspect the other one at run time. There's no real need to
follow a pointer to get the fingerprint of `Int`; we already know it! It's
just constant folding.
--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/14790#comment:11>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
More information about the ghc-tickets
mailing list