24 Feb
2015
24 Feb
'15
12:28 p.m.
On 2015-02-24 at 12:32:14 +0100, Michael Snoyman wrote:
We could also automatically detect basic partiality, like incomplete pattern matches, and add partiality warnings. Depending on how much work that is, it may be easier than trying to mark up all of base correctly.
You'd still need a way to greenlight false positives. I.e. cases where the code *seems* to have unhandled pattern matches which can't happen, but which GHC can't prove them not to be unhandled...