[GHC] #301: GADT constructor constraints ignored

[GHC]

#301: GADT constructor constraints ignored
-------------------------------------+--------------------------------------
 Reporter:  wolfram_kahl             |          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/karl1, gadt/karl2   |   Architecture:  Unknown
       Os:  Unknown                  |  
-------------------------------------+--------------------------------------
Changes (by simonpj):

  * resolution:  None => fixed
  * testcase:  => gadt/karl1, gadt/karl2
  * status:  new => closed

Comment:

 Fixed at last (the implication-consraint patch)

 Simon

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