Same ⟨pattern variable⟩ apparing two or more times

Show/hide message thread

Same ⟨pattern variable⟩ apparing two or more times Amirouche (26 Dec 2022 11:44 UTC)

Re: Same ⟨pattern variable⟩ apparing two or more times Amirouche (26 Dec 2022 11:47 UTC)

Re: Same ⟨pattern variable⟩ apparing two or more times Amirouche (26 Dec 2022 11:52 UTC)

Re: Same ⟨pattern variable⟩ apparing two or more times Marc Nieper-Wißkirchen (26 Dec 2022 12:47 UTC)

Re: Same ⟨pattern variable⟩ apparing two or more times Amirouche (26 Dec 2022 15:48 UTC)

Re: Same ⟨pattern variable⟩ apparing two or more times Marc Nieper-Wißkirchen (26 Dec 2022 16:12 UTC)

Same ⟨pattern variable⟩ apparing two or more times Amirouche 26 Dec 2022 11:44 UTC

What should happen when the same ⟨pattern variable⟩ appears more than one time in a pattern?