Re: [Haskell-beginners] cabal sandbox add-source + cabal repl (for tracking Idris git version)

OK, thanks. -Andreas Karl Voelker writes:

On Mon, Jul 14, 2014, at 02:33 AM, Andreas Reuleaux wrote:

...

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) ?

cabal sandbox list-sources

-Karl _______________________________________________ Beginners mailing list Beginners@haskell.org http://www.haskell.org/mailman/listinfo/beginners