
<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; "><div>I hereby abstain from debating the color on this particular bikeshed. My taste in bikeshed colors has proven to be unreliable.</div><div><br></div><div>Richard</div><br><div><div>On Dec 19, 2015, at 5:32 PM, George Karachalias <<a href="mailto:george.karachalias@gmail.com">george.karachalias@gmail.com</a>> wrote:</div><br class="Apple-interchange-newline"><blockquote type="cite"><div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">Hi Thomas,<br><br>On Sat, Dec 19, 2015 at 8:36 PM, Thomas Miedema <span dir="ltr"><<a href="mailto:thomasmiedema@gmail.com" target="_blank">thomasmiedema@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="ltr">Hi George,<div><br></div><div>here is an even simpler design!<div><span style="font-size:12.8px"><br></span></div><div><span style="font-size:12.8px">When `-ffull-guard-reasoning` is on, use the new pattern match checker.</span><br></div><div><br></div><div><span style="font-size:12.8px">When `-ffull-guard-reasoning` is off (the default), try to use the new pattern match checker, but if the number of guards is more than 20,</span></div><div><span style="font-size:12.8px">1. fall back to the old (simple) pattern match checker, and</span></div><div><span style="font-size:12.8px">2. </span><span style="font-size:12.8px">issue a `too-many-guards` warning </span></div><div><br></div><div><span style="font-size:12.8px">The warning can be turned off with `</span><span style="font-size:12.8px">-Wno-too-many-guards`.</span><br></div><div><span style="font-size:12.8px"><br></span></div><div><span style="font-size:12.8px">What do you think?</span></div></div></div></blockquote><div><br></div><div>Sounds nice and easy to change :)<br></div><div>I have a small question though: do we need the opposites too (I mean<br><span style="font-size:12.8px">`-fno-full-guard-reasoning` and `</span><span style="font-size:12.8px"> -Wtoo-many-guards`)? I cannot think of<br>a scenario where we do or am I missing something?<br><br></span></div><div><span style="font-size:12.8px">Others? If I get the green light, this is a matter of minutes to change :)<br></span></div><div><span style="font-size:12.8px"><br></span></div><div><span style="font-size:12.8px">George<br><br></span></div></div>-- <br><div class="gmail_signature"><font color="#660000" face="'comic sans ms', sans-serif">things you own end up owning you</font></div>

</div></div>

</blockquote></div><br></body></html>