On 9/07/20 3:26 am, Brandt Bucher wrote:
match <s>: case <p0> | <p1>: ... case <p2> | <p3> if <g0>: ... case <p4> | <p5>: ... ```It's safe to use the same decision tree for <p0> through <p3>, but it must be rebuilt for <p4> and <p5>, since <g0> could have done literally *anything*.
I think you're being overly cautious here. To my mind, the guards should be regarded as part of the pattern matching process, and so people shouldn't be writing code that depends on them having side effects. As a nice consequence of adopting that rule, we would be able to say that these are equivalent: case C(a.b): ... case C(x) if x == a.b: ... -- Greg _______________________________________________ Python-Dev mailing list -- [email protected] To unsubscribe send an email to [email protected] https://mail.python.org/mailman3/lists/python-dev.python.org/ Message archived at https://mail.python.org/archives/list/[email protected]/message/NRTKPMUUOVJIAO3CTPGXW4JAI3DU2ZOY/ Code of Conduct: http://python.org/psf/codeofconduct/