Improved ghc-pkg cache warnings

15 Jun
2013
15 Jun
'13
8:35 p.m.
When ghc-pkg observes your cache is out of date, it displays a helpful warning, recommending "ghc-pkg recache". However, sometimes running this command does not fix the problem, because it targets the wrong cache. For out of date global caches, "ghc-pkg --global recache" successfully clears the warning. For out of date user caches, "ghc-pkg --user recache" clears the warning. In the future, could ghc-pkg display the command more specific to the problem? -- Cheers, Andrew Pennebaker www.yellosoft.us
4405
Age (days ago)
4405
Last active (days ago)
0 comments
1 participants
participants (1)
-
Andrew Pennebaker