Issue: LOAD-TRUENAME (Version 3)

[David A. Moon <Moon@STONY-BROOK.SCRC.Symbolics.COM>]

I approve this version.  I checked it against the amendment
I had proposed.

In the example section,

     (LOAD (MERGE-PATHNAMES MODULE-NAME *LOAD-TRUENAME*))))

should be

     (LOAD (MERGE-PATHNAMES MODULE-NAME *LOAD-PATHNAME*))))

That's the whole reason for the amendment to add *LOAD-PATHNAME*!

The discussion section ought to include someone's suggestion that all
these variables could be replaced by *LOAD-STREAM* and
*COMPILE-FILE-STREAM*, combined with the existing PATHNAME and TRUENAME
functions.  It should also include someone else's suggestion that those
two variables could be replaced by *STANDARD-INPUT*.  I think there was
some argument against allowing access to the stream that convinced me to
support this proposal instead, but that other suggestion ought to be
given fair representation.