[Agda-dev] agda: <<loop>>

[Andrés Sicard-Ramírez]

On 14 March 2015 at 11:08, Wolfram Kahl <kahl at cas.mcmaster.ca> wrote:
> And how did you manage to compile with GHC 7.10.RC2?
> I am getting:
>
> [  6 of 289] Compiling Agda.Utils.Cluster ( src/full/Agda/Utils/Cluster.hs, dist/build/Agda/Utils/Cluster.o )
>
> src/full/Agda/Utils/Cluster.hs:146:3:
>     Exception when trying to run compile-time code:
>       Higher-kinded type variables in type: forall (a_0 :: *) . a_0 -> [a_0] -> GHC.Types.Bool
>     Code: quickCheckAll
>     In the splice: $quickCheckAll

You need to use the development version of QuickCheck (and also a
version of Geniplate compatible with GHC 7.10.1.RC2 (see
https://github.com/augustss/geniplate/pull/4)).

-- 
Andrés