From ae72ad352a29cabb1edbcd676a80ab297b767031 Mon Sep 17 00:00:00 2001 From: Guido van Rossum Date: Thu, 22 Oct 2020 09:46:38 -0700 Subject: [PATCH] PEP 634: fix error in definition of irrefutable pattern --- pep-0634.rst | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/pep-0634.rst b/pep-0634.rst index 94b47d7be..aa1f7f9ee 100644 --- a/pep-0634.rst +++ b/pep-0634.rst @@ -159,7 +159,7 @@ Irrefutable case blocks A pattern is considered irrefutable if we can prove from its syntax alone that it will always succeed. In particular, capture patterns and wildcard patterns are irrefutable, and so are AS patterns whose -right-hand side is irrefutable, OR patterns containing at least +left-hand side is irrefutable, OR patterns containing at least one irrefutable pattern, and parenthesized irrefutable patterns. A case block is considered irrefutable if it has no guard and its