<div dir="ltr"><div><div><div>Hello,<br><br></div>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:<br><br> [85 of 263] Compiling Agda.Termination.CallGraph ( src/full/Agda/Termination/CallGraph.hs, dist/build/Agda/Termination/CallGraph.o )<br>
<br>src/full/Agda/Termination/CallGraph.hs:200:10:<br> Illegal constraint ?cutoff::CutOff<br> In the context: (Monoid cinfo, ?cutoff::CutOff)<br> While checking the context of an instance declaration<br> In the instance declaration for `CombineNewOld (CallGraph cinfo)'<br>
<br></div>Is GHC 7.2 not supported any longer?<br><br></div>Dirk<br></div>