On Tue, Dec 13, 2005 at 07:01:01PM +0000, Nicholas Clark wrote: > On Mon, Dec 12, 2005 at 10:08:24AM -0800, Chip Salzenberg wrote: > > Neat - this is a fine approximate solution until we have real pbc > > hashing, and *may* continue to be necessary even with hashing, > > depending on whether we can count on reproducible hashes from > > successive compilations of the same source file. > > Surely in that case we instead choose to hash based on the source file?
That's a good fallback, but a perfect hash scheme would figure out that e.g. /tmp/bar.pbc is identical to the compilation output of /usr/share/bar.pir, and thus refuse to load one if the other has already been loaded. There are lots of ways to get good enough here; I'm not worried. -- Chip Salzenberg <[EMAIL PROTECTED]>