[GHC] #2899: GADT type inference with existentials

[GHC]

#2899: GADT type inference with existentials
-------------------------------------+--------------------------------------
 Reporter:  jochemb                  |          Owner:                  
     Type:  bug                      |         Status:  new             
 Priority:  normal                   |      Milestone:                  
Component:  Compiler (Type checker)  |        Version:  6.10.1          
 Severity:  normal                   |     Resolution:                  
 Keywords:  GADT, existential types  |       Testcase:                  
       Os:  Unknown/Multiple         |   Architecture:  Unknown/Multiple
-------------------------------------+--------------------------------------
Changes (by jochemb):

 * cc: jochem at functor.nl (added)

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