On 26/06/20 1:08 pm, Paul Svensson wrote:
We already allow (x, x) = (1, 2) So, why do we need to disallow binding several values to the same name ?
I think it was done because people might expect that to match only if the *same* value appears in both places. Some other languages have pattern matching that works that way. I think the intention is to leave open the possibility of implementing it in the future.