[GHC] #7259: Eta expansion of products in System FC

[GHC]

#7259: Eta expansion of products in System FC
-------------------------------------+-------------------------------------
        Reporter:  simonpj           |                   Owner:  simonpj
            Type:  bug               |                  Status:  new
        Priority:  normal            |               Milestone:  7.12.1
       Component:  Compiler          |                 Version:  7.6.1
      Resolution:                    |                Keywords:
Operating System:  Unknown/Multiple  |            Architecture:
 Type of failure:  None/Unknown      |  Unknown/Multiple
      Blocked By:                    |               Test Case:
 Related Tickets:                    |                Blocking:
                                     |  Differential Revisions:
-------------------------------------+-------------------------------------
Changes (by adamgundry):

 * cc: adam.gundry@… (removed)
 * cc: adamgundry (added)


Comment:

 It occurred to me in passing today that this would be a nice application
 of typechecker plugins. They should let us experiment with the type
 inference issues fairly easily.

--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7259#comment:11>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler