[Agda] Recompilation triggers rechecking?

Nils Anders Danielsson nad at cse.gu.se
Thu Dec 5 23:54:07 CET 2013


On 2013-12-05 15:10, Andreas Abel wrote:
> Seems like we have to patch cabal then...  Any takers?

Another option is to stop using time stamps, and instead check if the
file's contents have changed. The interface files could contain
(cryptographic?) hashes of every imported module's text.

This would also fix issue 178.

-- 
/NAD


More information about the Agda mailing list