[Agda] multiple compilation

Andrés Sicard-Ramírez andres.sicard.ramirez at gmail.com
Sat Mar 30 03:23:45 CET 2013


On Fri, Mar 29, 2013 at 12:42 PM, Serge D. Mechveliani <mechvel at botik.ru>wrote:

> Compilation error:
> -----------------------------------
>
> It compiles and links after applying    agda -c
> 1, 2 or 3 times, depending on occasion.
>
> This has started when the code size has grown enough.
>
> Is such an effect known?
>
>
I don't know this issue. Which is the compilation error?

-- 
Andrés
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20130329/950a50c5/attachment.html


More information about the Agda mailing list