Is there a bug in the CodeTools:-EncodeName / DecodeName pair?
Consider the following minimal example:
M := module() option package; export f; f := proc() end proc; end module;
The EncodeName gives answer:
_Inert_ASSIGNEDLOCALNAME("f", "PROC", 0, _Inert_ATTRIBUTE(_Inert_NAME("protected", _Inert_ATTRIBUTE(_Inert_NAME("protected")))))
But applying DecodeName to the result throws an exception:
Error, (in CodeTools:-DecodeName) invalid subscript selector
This means that it is very difficult to do profiling and coverage for functions in a package that I write.
Note the following:
- The problem does not arise for proc's defined at global level, nor for proc's in a module that is not a package, nor for proc's in a maple system package like PDEtools.
- The proc's are correctly profiled, but calls to say Coverage:-Print fail with the above exception, because they cannot decode the proc names in the profile table.