[Agda] multiple compilation
Serge D. Mechveliani
mechvel at botik.ru
Fri Mar 29 18:42:23 CET 2013
Dear Agda developers,
in my project of several modules, the command
agda -c $agdaLibOpt AlgTest.agda
reports (in Agda-2.3.2 MAlonzo, lib-0.7)
-----------------------------------
Checking ...
...
Checking ...
...
...
[ 1 of 97] Compiling MAlonzo.RTE ( MAlonzo/RTE.hs, MAlonzo/RTE.o )
[58 of 97] Compiling MAlonzo.Code.AlgClasses2 ( MAlonzo/Code/AlgClasses2.hs,
MAlonzo/Code/AlgClasses2.o )
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?
Regards,
------
Sergei
More information about the Agda
mailing list