Guido van Rossum

Results 724 comments of Guido van Rossum

Hm, in my naïveté I think irrefutability is easily checked recursively. - a single capture pattern is irrefutable - a wildcard is irrefutable - an OR is irrefutable if any...

I think it is worth it defining which patterns are syntactically irrefutable (basically my definition) and stating that any guard-less case whose pattern is syntactically irrefutable must not be followed...

Yup, still sounds good to me. Let's do it.

See language in https://github.com/python/peps/pull/1649 -- please review.

Labeling as fully pepped -- this is now incorporated in PEP 634. (And also implemented, thanks Brandt!)

In our VC with the SC (the SC-VC), we ended up agreeing this was not needed.

Labeling rejected (we're not adding 'else:') and fully pepped (this is addressed in PEP 635: under "Wildcard Pattern", search for "Else blocks."

@SaschaSchlemmer Please stay out of our discussion. This is now between the SC and the PEP authors, and outside interference (however well meant) is very distracting. Please just sit on...