On 16/05/2019 08:22, [email protected] wrote:
Not sure, if I understand you correctly because there can be a
confusion here.
Is it about the IsModifiableModule? :
My comment was about how can_redefine_any_class is documented in the
Capabilities table of IsModifiableClass. It currently has "If possessed
then all classes (except ...) are modifiable".
That said, I think I'm coming around to agreeing with your proposal.
If/when there are unmodifiable modules then it will not be possible for
agents to obtain the can_redefine_any_class capability.
-Alan