New EEP draft: Pinning operator ^ in patterns

[Eugene]

On 1/15/21 2:48 PM, Loïc Hoguin wrote:
> On 15/01/2021 14:13, Eugene wrote:
>>> The absence of this operator might make this more obvious
>> how does explicit annotation make anything LESS obvious?
> 
> The warning says "you can't do that", it doesn't tell you why.

it is easy to change if you annotate UNbound variables.
say
"Already Bound"
it does tell you everything.

> You have to 
> try to reassign a variable

no. i have to check if it is bound or not.
i am sure this check is already happening somewhere.