[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