<html><head><meta http-equiv="Content-Type" content="text/html charset=us-ascii"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; "><br><div><div>On Dec 17, 2015, at 8:15 AM, George Karachalias <<a href="mailto:george.karachalias@gmail.com">george.karachalias@gmail.com</a>> wrote:</div><br><blockquote type="cite"><div dir="ltr"><div class="gmail_extra">What do you think? I have already implemented a first patch with two options: If the number of<br></div><div class="gmail_extra">guards is small run the check and say nothing. If not, check for 2 possible flags:<br><ol><li>-fwarn-pattern-guards ==> Give it your best</li><li>-fwarn-ignore-pattern-guards ==> Do not run the check on the cases with many guards without a warning</li><li>None of the two enabled? ==> Give a warning of the form:<br><br>T783.hs:4:1: warning:<br> Pattern match checking failed for an equation for foo<br> due to the big number of guards<br> (Use -fwarn-ignore-pattern-guards if you want to hide this message<br> or -fwarn-pattern-guards if you want the checker to run no matter what)<br></li></ol></div></div></blockquote>I don't have much comment on your implementation techniques, as I don't know this end of the operation well enough to have an opinion.</div><div><br></div><div>For the point above: what if both flags are enabled?</div><div><br></div><div>Richard</div><br></body></html>