[Agda] Install failure

wren ng thornton wren at freegeek.org
Wed Mar 23 03:47:30 CET 2011


On 3/22/11 4:19 PM, gallais @ EnsL.org wrote:
> Well, cabal info is still unable to tell me which version of happy I'm using

You should be able to do `which happy` and `happy --version` to find out 
(depending on how you mean).

Unfortunately, cabal (actually ghc-pkg, IIRC) can't keep track of which 
executables it's installed, it only keeps track of libraries. But then 
cabal doesn't strive to be a general package manager for Haskell; it's 
more of a replacement for gmake, albeit leaning in the direction of 
package managers.

-- 
Live well,
~wren


More information about the Agda mailing list