[GHC] #4139: Spurious non-exhaustive pattern match warnings are given using GADTs
GHC
ghc-devs at haskell.org
Mon Jun 30 13:37:54 UTC 2014
#4139: Spurious non-exhaustive pattern match warnings are given using GADTs
-------------------------------------+-------------------------------------
Reporter: blarsen | Owner:
Type: bug | Status: new
Priority: normal | Milestone:
Component: Compiler | Version: 7.4.1
Resolution: | Keywords: GADTs, warnings,
Operating System: Unknown/Multiple | pattern matching
Type of failure: Incorrect | Architecture: Unknown/Multiple
warning at compile-time | Difficulty: Unknown
Test Case: | Blocked By:
Blocking: | Related Tickets: #3927
-------------------------------------+-------------------------------------
Changes (by ezyang):
* milestone: 7.0.1 =>
--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4139#comment:8>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
More information about the ghc-tickets
mailing list