#2019: GADT record with polytype argument causes irrefutable pattern failure in
basicTypes/MkId.lhs
---------------------------------------------+------------------------------
Reporter: japple | Owner: igloo
Type: merge | Status: closed
Priority: normal | Milestone: 6.8.3
Component: Compiler | Version: 6.8.2
Severity: normal | Resolution: fixed
Keywords: | Difficulty: Unknown
Testcase: tcfail195, tcfail196, tcfail197 | Architecture: x86
Os: Linux |
---------------------------------------------+------------------------------
Changes (by igloo):
* status: new => closed
* resolution: => fixed
Comment:
I've set the tests to be skipped in the 6.8 branch.
This patch:
{{{
Mon Jan 7 11:54:51 GMT 2008 [EMAIL PROTECTED]
* Add -XImpredicativeTypes, and tighten up type-validity checking (cf
Trac 2019)
[...]
Could be merged to 6.8 but no big deal.
}}}
doesn't merge cleanly, so I haven't merged it.
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/2019#comment:3>
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
