[MLton] mlbs and soft and hard links

[Henry Cejtin]

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.