Another possible solution to the global scope debacle

[StefanKarpinski]

The proposal for my new solution is here:

New scope solution

I have an alternate, non-breaking solution to the scope issue previously discussed on discourse and github. The new potential solution is the following rule to decide whether a variable, x, which is not marked as explicitly local or glogal and which is assigned to in a top-level scope construct is local or global: x is global if it is accessed before being assigned on all paths through the scope body. In other words, x is local unless there’s no way it could make sense for it to be local. Or…