[GHC] #13689: Data.Either doesn't export INLINABLE short functions like "rights"
GHC
ghc-devs at haskell.org
Fri May 12 15:37:51 UTC 2017
#13689: Data.Either doesn't export INLINABLE short functions like "rights"
-------------------------------------+-------------------------------------
Reporter: varosi | Owner: (none)
Type: bug | Status: infoneeded
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: |
-------------------------------------+-------------------------------------
Changes (by bgamari):
* differential: => Phab:D3576
Comment:
> INLINEABLE might be reasonable. Isn’t it the case that the unfolding
stored in the interface will be the un-optimized one .
Yes.
> (i.e. not the large thing visible up there?)
No :)
The large thing visible here is the desugared Core (`-ddump-ds`); no
simplification has happened. It just so happens that list comprehensions
are directly desugared into fusion primitives and consequently produce
rather large Core.
--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/13689#comment:10>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
More information about the ghc-tickets
mailing list