Since the refactor in c8f2bbdc1147be678c6cbda3832aec7f01a96be0 loadLocalModule was duplicating all (top level) binders contained in local modules.
Because loadExternalExprs already puts all binders in loaded0.
This led to duplicate PrimGuard warnings like seen in #2561 and possibly more duplicate work elsewhere.
Fixes #2561
Still TODO:
[ ] Write a changelog entry (see changelog/README.md)
[x] Check copyright notices are up to date in edited files
Since the refactor in c8f2bbdc1147be678c6cbda3832aec7f01a96be0
loadLocalModule
was duplicating all (top level) binders contained in local modules. BecauseloadExternalExprs
already puts allbinders
inloaded0
.This led to duplicate PrimGuard warnings like seen in #2561 and possibly more duplicate work elsewhere.
Fixes #2561
Still TODO: