[Agda] Epic compiler backend.

Andrés Sicard-Ramírez andres.sicard.ramirez at gmail.com
Tue Dec 21 00:17:30 CET 2010


On Tue, Dec 14, 2010 at 4:13 PM, Olle Fredriksson <
fredriksson.olle at gmail.com> wrote:

>
> If this is an issue for others, maybe we should consider hiding the Epic
> backend and its dependencies under a specific Cabal flag. What do you think?
>
>
The Agda.cabal says

tested-with:        GHC == 6.12.1, GHC == 6.12.3, GHC == 7.0.1

but Agda fails to install with GHC 6.12.1 due to the Epic dependency.

-- 
Andrés
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20101220/76ae8333/attachment.html


More information about the Agda mailing list