[GHC] #11068: Make Generic/Generic1 methods inlinable
GHC
ghc-devs at haskell.org
Sat Nov 7 19:06:55 UTC 2015
#11068: Make Generic/Generic1 methods inlinable
-------------------------------------+-------------------------------------
Reporter: glguy | Owner:
Type: bug | Status: new
Priority: normal | Milestone:
Component: Compiler | Version: 7.10.2
Keywords: | Operating System: Unknown/Multiple
Architecture: | Type of failure: None/Unknown
Unknown/Multiple |
Test Case: | Blocked By:
Blocking: | Related Tickets:
Differential Rev(s): D1447 | Wiki Page:
-------------------------------------+-------------------------------------
Efficient code generation with GHC.Generics relies on the optimizer being
able to completely remove the generic representation of a type. Marking
these methods as inlinable ensures that this will be possible even for
larger types.
I'm working on techniques for transforming generically derived lenses and
traversals which rely on taking advantage of the Functor and Applicative
laws. This patch supports that work.
https://github.com/glguy/generic-traverse
--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11068>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
More information about the ghc-tickets
mailing list