Hi Thomas,

On Sat, Dec 19, 2015 at 8:36 PM, Thomas Miedema <thomasmiedema@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