[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