[GHC] #1965: Allow unconstrained existential contexts in newtypes

[GHC]

#1965: Allow unconstrained existential contexts in newtypes
-------------------------------+--------------------------------------------
  Reporter:  guest             |          Owner:                  
      Type:  feature request   |         Status:  new             
  Priority:  normal            |      Milestone:                  
 Component:  Compiler          |        Version:  6.8.1           
Resolution:                    |       Keywords:                  
        Os:  Unknown/Multiple  |   Architecture:  Unknown/Multiple
   Failure:  None/Unknown      |     Difficulty:  Unknown         
  Testcase:                    |      Blockedby:                  
  Blocking:                    |        Related:                  
-------------------------------+--------------------------------------------
Changes (by pumpkin):

 * cc: pumpkingod@… (added)
  * failure:  => None/Unknown
  * status:  closed => new
  * resolution:  wontfix =>


Comment:

 This would actually be a useful feature with GADTs, since matching on one
 can tell us what the existential field was, even without storing a context
 for it in our newtype.

 It's definitely not essential to anything I'm doing, but perhaps the
 recent changes to GHC since the last time people looked at this ticket
 make this feature easier to implement?

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