Skip to content

Commit

Permalink
Merge branch 'topic/slow_pkg_previous_part' into 'master'
Browse files Browse the repository at this point in the history
Do not look for package previous parts in envs of inherited primitives.

Closes #1421

See merge request eng/libadalang/libadalang!1706
  • Loading branch information
Roldak committed Jul 23, 2024
2 parents 82dbec2 + 12d6f31 commit d533094
Showing 1 changed file with 3 additions and 1 deletion.
4 changes: 3 additions & 1 deletion ada/nodes.lkt
Original file line number Diff line number Diff line change
Expand Up @@ -7795,7 +7795,9 @@ class Body: BasicDecl {
) else {
bind origin = node.origin_node();

self.defining_name().all_env_els_impl()
self.defining_name().all_env_els_impl(
categories=RefCategories(inherited_primitives=false, _=true)
)
}
).map(
(e) => match e {
Expand Down

0 comments on commit d533094

Please sign in to comment.