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