Is there a bug in the CodeTools:-EncodeName / DecodeName pair?
Consider the following minimal example:
with(CodeTools):
M := module() option package; export f; f := proc() end proc; end module;
EncodeName(M:-f);
DecodeName(%);
The EncodeName gives answer:
_Inert_ASSIGNEDLOCALNAME("f", "PROC", 0, _Inert_ATTRIBUTE(_Inert_NAME("protected", _Inert_ATTRIBUTE(_Inert_NAME("protected")))))
But applying...