namespaced options variables?

[Ryan Carsten Schmidt]

On Aug 11, 2024, at 06:36, René J.V. Bertin wrote:
> 
>> On Sunday August 11 2024 02:17:42 Ryan Carsten Schmidt wrote:
>> 
>> Lots of portgroups use namespaced variables.
> 
> I grepped for examples but couldn't find any namespaced *options* variables. Plenty with a simulated namespace using a dot instead of a double colon, maybe you meant those?

I seem to have misremembered. Lots of portgroups use namespaces but only for procedures, not options. This makes sense since options are intended to be used by portfiles whereas we've always said that anything in a namespace should not be used in a portfile (though there are many examples of ports that violate this out of necessity that some things in base are not accessible to portfiles in another way).