[GHC] #8970: Non-exhaustive pattern match warning with DataKinds and TypeFamilies
GHC
ghc-devs at haskell.org
Tue Apr 8 08:27:32 UTC 2014
#8970: Non-exhaustive pattern match warning with DataKinds and TypeFamilies
-------------------------------------------------+-------------------------
Reporter: tensor5 | Owner:
Type: bug | Status: new
Priority: normal | Milestone:
Component: Compiler | Version: 7.6.3
Resolution: | Keywords:
Operating System: Unknown/Multiple | Architecture:
Type of failure: Incorrect warning at | Unknown/Multiple
compile-time | Difficulty:
Test Case: | Unknown
Blocking: | Blocked By:
| Related Tickets:
-------------------------------------------------+-------------------------
Comment (by simonpj):
Yes, I think this is a long-outstanding bug, awaiting someone with some
time and attention. See #6124 for example.
Simon
--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8970#comment:2>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
More information about the ghc-tickets
mailing list