[Agda] Cabal hell again

[Dan Doel]

The error message says that 'lib` is demanding base<4.13,
but you are using GHC 8.8 which ships with base 4.13. The
version of base is tied to the version of GHC. I would guess
this is because you haven't pulled the std-lib submodule, just
the agda repo.

On Wed, Jul 8, 2020 at 5:52 AM Thorsten Altenkirch <
Thorsten.Altenkirch at nottingham.ac.uk> wrote:

> I ended up in cabal hell again. What is the trick to get out of it?
>
>
>
> I did ghcup and I nuked .cabal but to no avail. What is going on?
>
>
>
> Thorsten
>
>
>
>
>
> psztxa at IMAC-DGKYNHM5JV3X agda % which cabal
>
> /Users/psztxa/.ghcup/bin/cabal
>
> psztxa at IMAC-DGKYNHM5JV3X agda % ghc --version
>
> The Glorious Glasgow Haskell Compilation System, version 8.8.3
>
> psztxa at IMAC-DGKYNHM5JV3X agda % cabal --version
>
> cabal-install version 3.2.0.0
>
> compiled using version 3.2.0.0 of the Cabal library
>
> psztxa at IMAC-DGKYNHM5JV3X agda % cabal update
>
> Downloading the latest package list from hackage.haskell.org
>
> To revert to previous state run:
>
>     cabal v2-update 'hackage.haskell.org,2020-07-08T08:22:29Z'
>
> psztxa at IMAC-DGKYNHM5JV3X agda % git pull
>
> Already up to date.
>
> psztxa at IMAC-DGKYNHM5JV3X agda % cabal install
>
> cabal: Could not resolve dependencies:
>
> [__0] trying: Agda-2.6.2 (user goal)
>
> [__1] trying: base-4.13.0.0/installed-4.13.0.0 (dependency of Agda)
>
> [__2] next goal: lib (user goal)
>
> [__2] rejecting: lib-1.3 (conflict: base==4.13.0.0/installed-4.13.0.0,
> lib =>
>
> base>=4.8.0.0 && <4.13)
>
> [__2] fail (backjumping, conflict set: base, lib)
>
> After searching the rest of the dependency tree exhaustively, these were
> the
>
> goals I've had most trouble fulfilling: base, lib, Agda
>
>
>
> This message and any attachment are intended solely for the addressee
> and may contain confidential information. If you have received this
> message in error, please contact the sender and delete the email and
> attachment.
>
> Any views or opinions expressed by the author of this email do not
> necessarily reflect the views of the University of Nottingham. Email
> communications with the University of Nottingham may be monitored
> where permitted by law.
>
>
>
>
> _______________________________________________
> Agda mailing list
> Agda at lists.chalmers.se
> https://lists.chalmers.se/mailman/listinfo/agda
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20200714/ce8082d6/attachment.html>