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.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
I don't love this,
OtherPackagesLoadedInAdvance
is obscure and the code usingStripEscapeSequences
is unclear to me (i.e. whyStripEscapeSequences
is even needed there is not immediately visible). And to start with, whyStripEscapeSequences
isn't in the GAP library (which calls it, too! only in the help system, though).But it's a pragmatic solution for the moment, so let's merge it.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
The point is that we cannot add GAPDoc to the needed packages of JuliaInterface because JuliaInterface is a needed package of GAP, and GAP does not allow us to silently add needed packages of GAP. (In this sense, the fact that using OtherPackagesLoadedInAdvance is possible at all can be regarded as a bug in GAP.)
Concerning the GAPDoc code in question, I agree that it should better be in the GAP library, but I cannot simply change this.
If I remember well then the idea behind needed packages of GAP was (besides the use case GAPDoc) that one could eventually split off more parts of the GAP library into packages.