[Agda] Error when compiling Agda from Darcs repository by GHC 7.2

Dirk Ullrich dirk.ullrich at gmail.com
Wed Mar 19 13:53:55 CET 2014


Hello,


2014-03-19 13:15 GMT+01:00 Mateusz Kowalczyk <fuuzetsu at fuuzetsu.co.uk>:

> On 19/03/14 10:54, Dirk Ullrich wrote:
> > Hello,
> >
> > [...]
> > Is GHC 7.2 not supported any longer?
> >
> > Dirk
> >
> >
>
> 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.
>
Before the last updates I could Agda even compile by GHC 7.0 (with some
trivial patching).
Moreover the current `Agda.cabal' says:

tested-with:   GHC == 7.2.2
                    GHC == 7.4.2
                    GHC == 7.6.3


Dirk
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20140319/f8c30172/attachment.html


More information about the Agda mailing list