Specification errors with regard to in-scope bindings.

In Section 2.5 Environment it is stated

"The in-scope bindings have to be calculated as the pipeline is being 
evaluated."

Since the in-scope bindings are required in static analysis (e.g. It is 
a static error (err:XS0020) if the binding attribute on p:namespaces is 
specified and its value is not the name of an in-scope binding) this 
should be split into two properties.  The first is the set of statically 
known in-scope variable and option names, the second is the set of 
dynamically known variable and option values.

Section 2.5 goes on to explain how the in-scope bindings are updated 
from p:variable elements.  I can find no text in the specification which 
states how options are added to the in-scope bindings.

Received on Friday, 27 July 2012 15:18:06 UTC