#2935: "A lazy (~) pattern cannot bind existential type variables" happens for
non-existential GADTs
---------------------------------+------------------------------------------
Reporter: ganesh | Owner:
Type: bug | Status: closed
Priority: normal | Milestone:
Component: Compiler | Version: 6.10.1
Severity: normal | Resolution: wontfix
Keywords: | Difficulty: Unknown
Testcase: | Os: Unknown/Multiple
Architecture: Unknown/Multiple |
---------------------------------+------------------------------------------
Comment (by simonpj):
Changed error message
{{{
Tue Jan 13 16:40:20 GMT 2009 [email protected]
* Improve error messages slightly
}}}
The change is this
{{{
hunk ./compiler/typecheck/TcPat.lhs 981
- text "I can't handle pattern bindings for existentially-
quantified constructors.",
+ text "I can't handle pattern bindings for existential or
GADT data constructors.",
hunk ./compiler/typecheck/TcPat.lhs 1033
- hang (ptext (sLit "A lazy (~) pattern cannot bind existential
type variables"))
+ hang (ptext (sLit "A lazy (~) pattern cannot match existential or
GADT data constructors"))
}}}
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/2935#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
