[GHC] #7109: Inlining depends on datatype size, even with INLINE pragmas

GHC ghc-devs at haskell.org
Wed Dec 3 11:39:03 UTC 2014


#7109: Inlining depends on datatype size, even with INLINE pragmas
-------------------------------------+-------------------------------------
              Reporter:  dreixel     |            Owner:  simonpj
                  Type:  bug         |           Status:  infoneeded
              Priority:  normal      |        Milestone:  7.10.1
             Component:  Compiler    |          Version:  7.5
            Resolution:              |         Keywords:
      Operating System:              |     Architecture:  Unknown/Multiple
  Unknown/Multiple                   |       Difficulty:  Unknown
       Type of failure:              |       Blocked By:
  None/Unknown                       |  Related Tickets:
             Test Case:              |
              Blocking:              |
Differential Revisions:              |
-------------------------------------+-------------------------------------

Comment (by simonpj):

 Replying to [comment:5 dreixel]:
 > I don't know how to tell GHC that it shouldn't be afraid of inlining
 stuff just because the terms are bigger.

 Well that's precisely what INLINE pragmas are for.  But you know that, so
 you must mean something else.

 Pedro, can you be more precise/specific about how to reproduce the problem
 you are concerned about (perhaps `ghc -O Bug3.hs -ddump-simpl`?  I assume
 you are going to say "I put an INLINE pragma here, but it doesn't work" or
 something like that.  Fine!  The more specific you can be, the better
 chance I have to understand and help.

 Simon

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


More information about the ghc-tickets mailing list