[Agda] problem installing agda (template Haskell ?)

[Andres Sicard Ramirez]

On Wed, 22 May 2019 at 14:22, Andrés Sicard-Ramírez <asr at eafit.edu.co> wrote:
> 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.
>

I just pushed a commit allowing template-haskell-2.11.0.0, so you
shouldn't have problems installing Agda with GHC 8.0.1 (I hadn't).


Best,
Andrés