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

Log in to post comments