#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 |
------------------------------------------------+---------------------------
Changes (by marcotmarcot):
* owner: => marcotmarcot
Comment:
I'm studying the source code related to the bug, and I have read the
[http://pauillac.inria.fr/~maranget/papers/warn/index.html pointed paper].
I'm
[http://www2.dcc.ufmg.br/laboratorios/llp/wiki/doku.php?id=pattern_matching_in_ghc
describing my progress in this page].
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/595#comment:13>
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
