[GHC] #13689: Data.Either doesn't export INLINABLE short functions like "rights"
GHC
ghc-devs at haskell.org
Sat May 13 03:33:10 UTC 2017
#13689: Data.Either doesn't export INLINABLE short functions like "rights"
-------------------------------------+-------------------------------------
Reporter: varosi | Owner: (none)
Type: bug | Status: patch
Priority: normal | Milestone:
Component: Core Libraries | Version: 8.0.2
Resolution: | Keywords:
Operating System: Unknown/Multiple | Architecture:
Type of failure: Incorrect API | Unknown/Multiple
annotation | Test Case:
Blocked By: | Blocking:
Related Tickets: | Differential Rev(s): Phab:D3576
Wiki Page: |
-------------------------------------+-------------------------------------
Comment (by nomeata):
JFTR: The definition
{{{
lefts = concatMap go
where go (Left x) = [x]
go (Right _) = []
}}}
results in the same code (GHC HEAD even CSE’s it with the other definition
if defined in the same module), and also does not get an unfolding
automatically, and with `INLINEABLE` the unfolding is the large one with
`foldr` and `build`.
--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/13689#comment:19>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
More information about the ghc-tickets
mailing list