You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Once a package is loaded into either ⎕SE._tatin or #._tatin there is no way to get rid of it.
There is a need for this: when a rarely used and expensive package (in terms of memory usage) is loaded and executed, the user command must be able to get rid of it when it has reason to assume that it is not used anytime soon again.
It should accept only the names of principal packages, but it should also remove dependencies that are not required by other packages.
I don't think that this has to be a user command, an API function should suffice.
The text was updated successfully, but these errors were encountered:
Once a package is loaded into either
⎕SE._tatin
or#._tatin
there is no way to get rid of it.There is a need for this: when a rarely used and expensive package (in terms of memory usage) is loaded and executed, the user command must be able to get rid of it when it has reason to assume that it is not used anytime soon again.
It should accept only the names of principal packages, but it should also remove dependencies that are not required by other packages.
I don't think that this has to be a user command, an API function should suffice.
The text was updated successfully, but these errors were encountered: