Send Beginners mailing list submissions to
[email protected]
To subscribe or unsubscribe via the World Wide Web, visit
http://www.haskell.org/mailman/listinfo/beginners
or, via email, send a message with subject or body 'help' to
[email protected]
You can reach the person managing the list at
[email protected]
When replying, please edit your Subject line so it is more specific
than "Re: Contents of Beginners digest..."
Today's Topics:
1. Re: cabal sandbox add-source + cabal repl (for tracking
Idris git version) (Karl Voelker)
2. Re: cabal sandbox add-source + cabal repl (for tracking
Idris git version) (Andreas Reuleaux)
----------------------------------------------------------------------
Message: 1
Date: Mon, 14 Jul 2014 08:05:59 -0700
From: Karl Voelker <[email protected]>
To: [email protected]
Subject: Re: [Haskell-beginners] cabal sandbox add-source + cabal repl
(for tracking Idris git version)
Message-ID:
<[email protected]>
Content-Type: text/plain
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
------------------------------
Message: 2
Date: Mon, 14 Jul 2014 19:34:36 +0100
From: Andreas Reuleaux <[email protected]>
To: [email protected]
Subject: Re: [Haskell-beginners] cabal sandbox add-source + cabal repl
(for tracking Idris git version)
Message-ID: <[email protected]>
Content-Type: text/plain
OK, thanks.
-Andreas
Karl Voelker <[email protected]> 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
> [email protected]
> http://www.haskell.org/mailman/listinfo/beginners
------------------------------
Subject: Digest Footer
_______________________________________________
Beginners mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/beginners
------------------------------
End of Beginners Digest, Vol 73, Issue 11
*****************************************
