Pattern matching and GADTs

[Simon Peyton Jones]

GHC developers
You may be interested in this paper, submitted to ICFP
GADTs meet their match: pattern-matching warnings that account for GADTs, guards, and laziness<http://research.microsoft.com/%7Esimonpj/papers/pattern-matching>, with Georgios Karachalias, Tom Schrijvers, and Dimitrios Vytiniotis.
It describes a GADT-aware algorithm for detecting missing and redundant patterns.
The implementation is not yet up to production quality, but it will be!
If you feel able to give us any feedback about the paper itself, that would be incredibly useful. Thanks
Simon

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-devs/attachments/20150302/16b8ba7f/attachment.html>