[MLton] mlbs and soft and hard links
Henry Cejtin
henry@sourcelight.com
Sun, 15 Aug 2004 13:41:29 -0500
I don't agree that viewing things as a map from absolute paths to file
contents is simpler. For one thing, there is no file system that can check
this (the file contents) short of actually reading it and comparing it. No
time stamps are sufficient, not even the ctime. (If you do a rename system
call, for instance, then the ctime of the file is NOT changed.)
Also rebuilding the cached state on demand has the disadvantage that the
cache must be located in some place where the current user can write.
Still, I do like the idea.