[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