Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Stop duplicating binders in loadLocalModule (#2564)
Since the refactor in c8f2bbd `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
- Loading branch information