[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