[GHC] #13689: Data.Either doesn't export INLINABLE short functions like "rights"

GHC ghc-devs at haskell.org
Fri May 12 14:42:20 UTC 2017


#13689: Data.Either doesn't export INLINABLE short functions like "rights"
-------------------------------------+-------------------------------------
           Reporter:  varosi         |             Owner:  (none)
               Type:  bug            |            Status:  new
           Priority:  normal         |         Milestone:
          Component:  Core           |           Version:  8.0.2
  Libraries                          |
           Keywords:                 |  Operating System:  Unknown/Multiple
       Architecture:                 |   Type of failure:  Incorrect API
  Unknown/Multiple                   |  annotation
          Test Case:                 |        Blocked By:
           Blocking:                 |   Related Tickets:
Differential Rev(s):                 |         Wiki Page:
-------------------------------------+-------------------------------------
 Currently if I use Data.Either's simple functions like "rights", "isLeft",
 etc. In Core/Cmm with -O2 I see that they are called like external
 functions and not inlined. This is because they are not marked as
 INLINABLE in the library itself.

 It'll be great if such functions in base are marked as INLINABLE so
 optimizator/inliner to generate more efficient code.

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


More information about the ghc-tickets mailing list