#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
_______________________________________________
Glasgow-haskell-bugs mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
