#2006: unreachable GADT pattern clauses show up as warnings with -Wall
----------------------+-----------------------------------------------------
Reporter: ryani | Owner:
Type: bug | Status: new
Priority: normal | Milestone: 6.10 branch
Component: Compiler | Version: 6.8.1
Severity: normal | Resolution:
Keywords: | Difficulty: Unknown
Testcase: | Architecture: Unknown
Os: Unknown |
----------------------+-----------------------------------------------------
Changes (by simonpj):
* milestone: 6.8 branch => 6.10 branch
Comment:
Quite right. The "non-exhaustive pattern" warning comes from a part of
the compiler that needs a serious overhaul. See #595. In particular,
it's utterly unaware of GADTs, so it's going to produce spurious warnings,
and will continue to do so until it is overhauled.
We definitely won't fix this on the 6.8 branch. Probably it needs a
volunteer.
Simon
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/2006#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
