[Agda] problem installing agda (template Haskell ?)

[Andres Sicard Ramirez]

On Wed, 22 May 2019 at 10:10, Thorsten Altenkirch
<Thorsten.Altenkirch at nottingham.ac.uk> wrote:
>
> I am using
>
> sean:agda txa$ ghc --version
>
> The Glorious Glasgow Haskell Compilation System, version 8.0.1
>
> on a mac and the latest version of the agda repo.
>

Agda doesn't support GHC 8.0.1 (but GHC 8.0.2 is supported).

GHC 8.0.1 was shipped with template-haskell-2.11.0.0 but Agda dependencies are

    template-haskell >= 2.11.1.0 && < 2.15

You can try to relax the above dependencies under your own risk :-) or
you can use a newer GHC.

Best,

Andrés