Re: uninstalling libraries

2017-11-12 Thread Evan Laforge
On Sun, Nov 12, 2017 at 8:14 PM, Brandon Allbery wrote: > This is something of a nasty problem, considering that storing uninstall > information separately is not particularly robust. Perhaps ghc-pkg should, > if it doesn't already, support extension fields that e.g. cabal

Re: uninstalling libraries

2017-11-12 Thread Brandon Allbery
The problem is that the package db contains only what ghc needs to be able to use the library; not the additional information needed to safely remove it. (There are other package systems with this problem, notably Apple's. Apple decided that instead of solving it, they would only support

uninstalling libraries

2017-11-12 Thread Evan Laforge
For a very long time, I've used a local script to uninstall libraries. Initially it was very simple: use ghc-pkg field to find and remove library-dirs, import-dirs, and haddock-html, and call ghc-pkg unregister. It served well for a long time, but eventually I got tired of copy paste games and