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

On Sun, Jul 13, 2014, at 09:25 PM, Andreas Reuleaux wrote:

mkdir ~/foo cd foo cabal sandbox init cabal sandbox add-source ~/idr/dev cabal update cabal install --only-dependencies idris

I would think that within foo, I should be able to just do e.g.

cabal repl

...

:m +Idris.Parser

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