On Mon, Nov 28, 2016 at 12:24:20PM +0000, Phil Elwell wrote: > On 28/11/2016 12:10, Pantelis Antoniou wrote: > > For plugins we need the __symbols__ node to support stacked overlays, i.e. > > overlays referring label that were introduced by a previous overlay. > Although it is arguably useful to be able to refer to symbols created by > one overlay from within another, do we really want all symbols to be > global? Isn't there a call for a new syntax or usage pattern to indicate > either that a symbol should be local to the overlay or, my preferred > option, global? So, this is back to a design question about the overlay format. As noted in the initial discussions about possible "connector" formats, I think we will want some sort of local symbols. But the current overlay format with all global symbols is out there and we need to support it. -- David Gibson | I'll have my music baroque, and my code david AT gibson.dropbear.id.au | minimalist, thank you. NOT _the_ _other_ | _way_ _around_! http://www.ozlabs.org/~dgibson
Attachment:
signature.asc
Description: PGP signature
