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

[Andreas Reuleaux]

OK, thanks.

-Andreas


Karl Voelker <karl at karlv.net> 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 at haskell.org
> http://www.haskell.org/mailman/listinfo/beginners