[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