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
If you install a new package into the used package database while autospec is running it doesn't pick up this new package. I guess this is because ghci has to be restarted to scan the package database anew.
I'm not sure how this could be solved or if it should be solved at all. Restarting autospec seems easy enough. It's just somewhat confusing if you're not aware of the behaviour.
Maybe autospec could monitor the package database through inotify.
The text was updated successfully, but these errors were encountered:
If you install a new package into the used package database while autospec is running it doesn't pick up this new package. I guess this is because ghci has to be restarted to scan the package database anew.
I'm not sure how this could be solved or if it should be solved at all. Restarting autospec seems easy enough. It's just somewhat confusing if you're not aware of the behaviour.
Maybe autospec could monitor the package database through inotify.
—
Reply to this email directly or view it on GitHub.
I don't know if there is a 100% reliable way. There is also the issue (as you mentioned offline) of packages installed by package managers. The thing is that it is not harmful to trigger restarts too often. So autospec could just look in the usual places for package databases, i.e. in sandboxes in the current directory and ~/.ghc.
If you install a new package into the used package database while
autospec
is running it doesn't pick up this new package. I guess this is becauseghci
has to be restarted to scan the package database anew.I'm not sure how this could be solved or if it should be solved at all. Restarting
autospec
seems easy enough. It's just somewhat confusing if you're not aware of the behaviour.Maybe
autospec
could monitor the package database throughinotify
.The text was updated successfully, but these errors were encountered: