[GHC] #2206: GADT pattern match with non-rigid return type

[GHC]

#2206: GADT pattern match with non-rigid return type
--------------------------+-------------------------------------------------
 Reporter:  simonpj       |          Owner:  simonpj
     Type:  bug           |         Status:  new    
 Priority:  normal        |      Milestone:         
Component:  Compiler      |        Version:  6.8.2  
 Severity:  normal        |     Resolution:         
 Keywords:                |     Difficulty:  Unknown
 Testcase:  gadt-escape1  |   Architecture:  Unknown
       Os:  Unknown       |  
--------------------------+-------------------------------------------------
Changes (by simonpj):

  * owner:  => simonpj

Comment:

 Indeed.

 I have a fix for 2206 in my tree (testing now), so I'll take this.
 However, the whole rigidity thing is shaky (ha ha) at the moment, because
 boxy types and rigid types are mixed up.  We need to take a new look as
 the dust settles on type equalities.

 Simon

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