Closed iherman closed 4 years ago
As far I could see, both @propagate and @protected can appear as part of a context definition. Shouldn't it appear in 9.15, alongside @language, @base, etc.?
@propagate
@protected
@language
@base
Also, the expanded term definition should also include @protected.
@protected is missing
Yes, I also noticed that very recently. I'll attend to it.
NB: @import is also missing from 9.15
@import
WG resolved to close the issue as complete.
9.15:
As far I could see, both
@propagate
and@protected
can appear as part of a context definition. Shouldn't it appear in 9.15, alongside@language
,@base
, etc.?Also, the expanded term definition should also include
@protected
.9.16
@protected
is missing