[Agda] Error when compiling Agda from Darcs repository by GHC 7.2
Mateusz Kowalczyk
fuuzetsu at fuuzetsu.co.uk
Wed Mar 19 13:15:53 CET 2014
On 19/03/14 10:54, Dirk Ullrich wrote:
> Hello,
>
> when I try to compile the Darcs version of Agda using GHC 7.2 (after
> replacing `Data.Monoid.(<>)' by `mappend`) I get the following error:
>
> [85 of 263] Compiling Agda.Termination.CallGraph (
> src/full/Agda/Termination/CallGraph.hs,
> dist/build/Agda/Termination/CallGraph.o )
>
> src/full/Agda/Termination/CallGraph.hs:200:10:
> Illegal constraint ?cutoff::CutOff
> In the context: (Monoid cinfo, ?cutoff::CutOff)
> While checking the context of an instance declaration
> In the instance declaration for `CombineNewOld (CallGraph cinfo)'
>
> Is GHC 7.2 not supported any longer?
>
> Dirk
>
>
>
> _______________________________________________
> Agda mailing list
> Agda at lists.chalmers.se
> https://lists.chalmers.se/mailman/listinfo/agda
>
7.2 is nearly 4 stable releases old, I'd be very surprised if it was
still supported. You should really get at least 7.6.3 and 7.8 is coming
out soon too.
--
Mateusz K.
More information about the Agda
mailing list