aboutsummaryrefslogtreecommitdiff
path: root/plugins
diff options
context:
space:
mode:
authorPierre-Marie Pédrot2020-02-29 13:26:08 +0100
committerPierre-Marie Pédrot2020-02-29 13:42:42 +0100
commit54562510ed05bacdf7c9c2a41bb104a68aeaa1c0 (patch)
tree50e30af7ef146dde65673bc1972ddf57421a1129 /plugins
parent5c7d89641085e125471db089239e73a064073024 (diff)
Be robust in calculating visible ids for non-registered constants.
The previous code was only doing that when either in debug or toplevel mode. Unfortunately, when dealing with open modules the constants might not have been registered yet, leading to printing failure. I do not see a reason why this code should fail when used with globals without a user facing name when the only goal is to compute a set of identifiers that might clash. Thus, the above failsafe behaviour is now systematic. Fixes #8206: Module signature error sometimes prints ??.
Diffstat (limited to 'plugins')
0 files changed, 0 insertions, 0 deletions