Fix DirectoriesPackageLibrary
, DirectoriesPackagePrograms
when they are called during package loading
#4206
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
... for the case that another package is the current package to be loaded at the time when the function gets called.
Apparently this did not happen until now, otherwise it would have been observed earlier.
Text for release notes
Suppose that one of the functions
DirectoriesPackageLibrary
,DirectoriesPackagePrograms
is called with first argument"a"
, and that this call happens while another package with name"b"
, say, gets loaded, in the sense thatGAPInfo.CurrentPackage
is bound to an info record for"b"
.Before the fix, the directory path in question for
"b"
was returned. After the fix, the path for"a"
is returned.