#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): Wiki Page: | -------------------------------------+------------------------------------- Changes (by rwbarton): * status: new => infoneeded Comment: No, that isn't how inlining works. You do not need an INLINABLE pragma on a function for its unfolding to be included in an interface file and used at a call site. (Otherwise virtually nothing would get inlined ever!) Can you provide a reproducer where you are not seeing inlining that you expect to happen? -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/13689#comment:1 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler