#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