#4139: Spurious non-exhaustive pattern match warnings are given using GADTs
------------------------------------------------+---------------------------
Reporter: blarsen | Owner:
Type: bug | Status: new
Priority: normal | Milestone: 7.0.1
Component: Compiler | Version: 7.4.1
Resolution: | Keywords: GADTs,
warnings, pattern matching
Os: Unknown/Multiple | Architecture:
Unknown/Multiple
Failure: Incorrect warning at compile-time | Difficulty:
Testcase: | Blockedby:
Blocking: | Related:
------------------------------------------------+---------------------------
Changes (by goldfire):
* status: closed => new
* cc: eir@… (added)
* failure: None/Unknown => Incorrect warning at compile-time
* version: 6.12.3 => 7.4.1
* owner: simonpj =>
* resolution: invalid =>
Comment:
I have a case with the same bug description as above, but when I include
the pattern suggested by the warning statement, I get a compiler error
indicating unreachable code. I have attached my code.
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/4139#comment:4>
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
