OK, I see, thanks a lot, and yes: that seems to work fine. When calling cabal install idris in my sandbox, I can see in the beginning of the compilation messages, that it's using my idr/dev now: Resolving dependencies... [1 of 1] Compiling Main ( /home/reuleaux/idr/dev/dist/dist-sandbox-b7fec085/setup/setup.hs, /home/reuleaux/idr/dev/dist/dist-sandbox-b7fec085/setup/Main.o ) Is there a better way to verify though (apart from looking at these compilation messages, in the cabal repl maybe), that cabal is indeed using my other idr/dev sandbox (and not Idris from hackage) ? -Andreas
I think you just need to "cabal install idris" in this sandbox. The add-source command just tells cabal to use those sources instead of downloading sources from Hackage -- when you ask it to install that package.
-Karl _______________________________________________ Beginners mailing list Beginners@haskell.org http://www.haskell.org/mailman/listinfo/beginners