Use NaBL2 analysis in set comprehensions to enforce linear dependency order between sources
When there are multiple sources specified in set builder syntax, they should not be mutually recursive. Any dependency between them should be linear and in-order (the latter for easier interpretation). So let’s use NaBL2’s scopes here to enforce that in the name binding rules.
Submitted by Jeff Smits on 10 November 2017 at 13:03
Issue Log
On 4 December 2017 at 14:36 Jeff Smits commented:
For now set comprehensions have a single source. Let’s revisit this idea when we want multiple sources
On 4 December 2017 at 14:36 Jeff Smits closed this issue.
Log in to post comments