bug#16361: compile cache confused about file identity

2015-05-13 Thread Zefram
Mark H Weaver wrote: >You could make the same complaint about 'make', 'rsync', or any number >of other programs. Not really. make does use this type of freshness check, but it's used in a specific situation where the freshness issue is immediately obvious and is part of the program's visible prim

bug#16361: compile cache confused about file identity

2014-10-01 Thread Mark H Weaver
tags 16361 + notabug wontfix close 16361 thanks Zefram writes: > The automatic cache of compiled versions of scripts in guile-2.0.9 > identifies scripts mainly by name, and partially by mtime. This is not > actually sufficient: it is easily misled by a pathname that refers to > different files

bug#16361: compile cache confused about file identity

2014-01-05 Thread Zefram
The automatic cache of compiled versions of scripts in guile-2.0.9 identifies scripts mainly by name, and partially by mtime. This is not actually sufficient: it is easily misled by a pathname that refers to different files at different times. Test case: $ echo '(display "aaa\n")' >t13 $ echo '(