[Agda] Epic compiler backend.

[Andrés Sicard-Ramírez]

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