[GHC] #349: Strange GADT behaviour

[GHC]

#349: Strange GADT behaviour
-------------------------------------+--------------------------------------
 Reporter:  josefs                   |          Owner:  simonpj
     Type:  bug                      |         Status:  closed 
 Priority:  normal                   |      Milestone:  6.8    
Component:  Compiler (Type checker)  |        Version:  6.4    
 Severity:  normal                   |     Resolution:  fixed  
 Keywords:                           |     Difficulty:  Unknown
 Testcase:  gadt/josef               |   Architecture:  Unknown
       Os:  Unknown                  |  
-------------------------------------+--------------------------------------
Changes (by simonpj):

  * resolution:  None => fixed
  * status:  assigned => closed

Comment:

 This bug is fixed, now that I have added implication constraints to GHC.
 At least, the test program works fine in the HEAD.

 Simon

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