[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