[Agda] hints on switching between Agda versions

[Andrew Pitts]

On 17 November 2016 at 20:33, Martin Escardo <m.escardo at cs.bham.ac.uk> wrote:
>
>
> On 17/11/16 20:09, Andrew Pitts wrote:
>>
>> Following up my own question, I did a bit of RTFM-style research and
>> found that one can use cabal to install into a sandbox. Combining this
>> with Jesper's suggerstion I did:
>>
>> git clone https://github.com/agda/agda.git
>> cd agda
>> cabal update
>> cabal sandbox init
>
>
> I got up to here. Then with this ...
>
>> cabal install --program-suffix=-2.6.0
>
>
> ... I get
>
> void-0.7.1 (via: Agda-2.6.0) (new package)
> Agda-2.6.0 (new package)
> cabal: The following packages are likely to be broken by the reinstalls:
> regex-posix-0.95.2
> regex-compat-0.95.1
> Use --force-reinstalls if you want to install anyway.
>
> What exactly will this break, I wonder.

I wonder too. But I wonder more why installing into a fresh sandbox is
causing any package to be reinstalled at all. However, such
cabal-related questions are probably not for this mailing list....

A