[Agda] repeated compilation

[Sergei Meshveliani]

People,

my application library is type-checked and compiled by

   agda -c $agdaLibOpt +RTS...-RTS $agdaGHC_opt TypeCheckAll.agda

This reports "Checking" and "Compiling" messages for each module of
application except tests.
Then I command

 > cd demoTest
 > agda -c $agdaLibOpt Test1.agda

And it issues the "Compiling" messages for all the modules that have
been compiled earlier. Like this:

  [ 96 of 120] Compiling MAlonzo.Code.List.Multiset0        
  (MAlonzo/Code/List/Multiset0.hs, MAlonzo/Code/List/Multiset0.o)

Does it really recompile them? Has this a reason?

Thanks,

------
Sergei