[GHC] #14790: eqTypeRep does not inline

[GHC]

#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):

 mpickering, I'm happy to try it other ways, but there are a few things I
 don't understand:

 1. What exactly do you think is wrong with the way I did it? I know it's
 not perfect (see point 3) but I don't know what ''you'' dislike about it.

 2. How will the phased `NOINLINE`(s) you suggest reduce the size of the
 `eqTypeRep` unfolding?

 3. While we don't ''generally'. want to inline the case expressions
 scrutinizing the arguments, we presumably ''do'' want to optimize the
 common case where ''one'' of those arguments is completely known at
 compile time (such as the `typeRep @Int` in my example). How does this
 desire fit into the rest of the program?

-- 
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/14790#comment:9>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler