[Agda-dev] agda: <<loop>>
Andrés Sicard-Ramírez
asr at eafit.edu.co
Sat Mar 14 18:23:14 CET 2015
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
More information about the Agda-dev
mailing list