[Agda] type checker

[Cecilia Manzino]

Hello,

I have a question about the agda's type checker.
I have read that definitions imported from a file won’t need to be
rechecked.

But, when I import a file that takes 36 hours aprox. to checking in another
file that takes just seconds to checking (without this import ) the type
checker takes hours (I don't know how many) instead of seconds. I put the
.agdai file in the same directory than the second file.
So, ¿why checking the second file takes soo much time when I import other
checked file?

Thanks,
Cecilia
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20111205/f4ad9e4b/attachment.html