[GHC] #7347: Existential data constructors should not be promoted

[GHC]

#7347: Existential data constructors should not be promoted
-------------------------------+--------------------------------------------
  Reporter:  simonpj           |          Owner:                  
      Type:  bug               |         Status:  closed          
  Priority:  normal            |      Milestone:                  
 Component:  Compiler          |        Version:  7.6.1           
Resolution:  fixed             |       Keywords:                  
        Os:  Unknown/Multiple  |   Architecture:  Unknown/Multiple
   Failure:  None/Unknown      |     Difficulty:  Unknown         
  Testcase:  polykinds/T7347   |      Blockedby:                  
  Blocking:                    |        Related:                  
-------------------------------+--------------------------------------------

Comment(by simonpj@…):

 commit c0d846917846d303be48d9dc43fb047863ed14ea
 {{{
 Author: Simon Peyton Jones <simonpj at microsoft.com>
 Date:   Wed Dec 5 11:07:38 2012 +0000

     Allow existential data constructors to be promoted

     This reverts the change in Trac #7347, which prevented promotion
     of existential data constructors.  Ones with constraints in
     their types, or kind polymorphism, still can't be promoted.

  compiler/basicTypes/DataCon.lhs |    8 +++++---
  compiler/types/TyCon.lhs        |    6 ++++--
  2 files changed, 9 insertions(+), 5 deletions(-)
 }}}

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