[GHC] #12618: Add saturated constructor applications to Core

[GHC]

#12618: Add saturated constructor applications to Core
-------------------------------------+-------------------------------------
        Reporter:  simonpj           |                Owner:  nomeata
            Type:  feature request   |               Status:  new
        Priority:  normal            |            Milestone:
       Component:  Compiler          |              Version:  8.0.1
      Resolution:                    |             Keywords:
Operating System:  Unknown/Multiple  |         Architecture:
                                     |  Unknown/Multiple
 Type of failure:  None/Unknown      |            Test Case:
      Blocked By:                    |             Blocking:
 Related Tickets:                    |  Differential Rev(s):
       Wiki Page:                    |
-------------------------------------+-------------------------------------

Comment (by simonpj):

 I did a full implementation of System IF some years ago, and concluded
 (like you) that the pain is not worth the gain.  Your point that the type
 checker is building these very big types in the nested-tuple case is an
 excellent one.

 I don't have any brilliant ideas, I'm afraid. But this is an excellent
 data point.

 Is Phab a good place to keep the patch long-term, or would it be best
 pushed into the GHC repo?

 Good work, even if disappointing!

 Simon

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