#2019: GADT record with polytype argument causes irrefutable pattern failure in
basicTypes/MkId.lhs
---------------------------------------------+------------------------------
Reporter: japple | Owner: igloo
Type: merge | Status: new
Priority: normal | Milestone: 6.8.3
Component: Compiler | Version: 6.8.2
Severity: normal | Resolution:
Keywords: | Difficulty: Unknown
Testcase: tcfail195, tcfail196, tcfail197 | Architecture: x86
Os: Linux |
---------------------------------------------+------------------------------
Changes (by simonpj):
* testcase: => tcfail195, tcfail196, tcfail197
* owner: => igloo
* type: bug => merge
Comment:
Shouldn't be valid; in general equality constraints can't involve
polytypes. I'm adding a test in the code, and some testsuite cases.
Thanks for pointing this out.
Ian can you merge this:
{{{
Mon Jan 7 12:53:22 GMT 2008 [EMAIL PROTECTED]
* Add tests for type signature validity (cf Trac 2019)
}}}
Simon
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/2019#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
