Performance of pattern checker on OptCoercions
Richard Eisenberg
eir at cis.upenn.edu
Sun Dec 20 04:36:56 UTC 2015
I hereby abstain from debating the color on this particular bikeshed. My taste in bikeshed colors has proven to be unreliable.
Richard
On Dec 19, 2015, at 5:32 PM, George Karachalias <george.karachalias at gmail.com> wrote:
> Hi Thomas,
>
> On Sat, Dec 19, 2015 at 8:36 PM, Thomas Miedema <thomasmiedema at gmail.com> wrote:
> Hi George,
>
> here is an even simpler design!
>
> When `-ffull-guard-reasoning` is on, use the new pattern match checker.
>
> 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,
> 1. fall back to the old (simple) pattern match checker, and
> 2. issue a `too-many-guards` warning
>
> The warning can be turned off with `-Wno-too-many-guards`.
>
> What do you think?
>
> Sounds nice and easy to change :)
> I have a small question though: do we need the opposites too (I mean
> `-fno-full-guard-reasoning` and ` -Wtoo-many-guards`)? I cannot think of
> a scenario where we do or am I missing something?
>
> Others? If I get the green light, this is a matter of minutes to change :)
>
> George
>
> --
> things you own end up owning you
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-devs/attachments/20151219/0795fbcf/attachment.html>
More information about the ghc-devs
mailing list