[MLton] mlbs and soft and hard links

Matthew Fluet fluet@cs.cornell.edu
Sun, 15 Aug 2004 14:05:03 -0400 (EDT)


> z.mlb:
>   a/a.mlb
>   b/b.mlb
> a/a.mlb:
>   $(MLTON_ROOT)/basis/basis.mlb
>   a.sml
> a/a.sml
>   print "a\n";
> b/b.mlb: --> a/a.mlb  (hard link)
> b/b.sml:
>   print "b\n";

I think you meant to have

b/a.sml:
  print "b\n";

> I guess what I am saying is that the correct unit of caching for mlb
> files in the elaborator is *not* OS.FileSys.file_id, but rather
> absolute path.  I don't see any reason to complicate the semantics
> with notions from the underlying file system.

That's fine with me.