#595: Overhaul GHC's overlapping/non-exhaustive pattern checking
------------------------------------------------+---------------------------
Reporter: simonmar | Owner: marcotmarcot
Type: task | Status: new
Priority: normal | Milestone: _|_
Component: Compiler | Version: None
Resolution: None | Keywords: warnings
Difficulty: Difficult (2-5 days) | Os:
Unknown/Multiple
Testcase: N/A | Architecture:
Unknown/Multiple
Failure: Incorrect warning at compile-time |
------------------------------------------------+---------------------------
Comment(by simonpj):
Excellent! Please also consult http://www.cs.cmu.edu/~neelk/pattern-
popl09.pdf
Also do not forget about view patterns
Simon
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/595#comment:14>
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
