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

[Karl Voelker]

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