---

3.3 Defined-From String Format ¶

The defined-from string may have any of three different formats, depending on which of the three compiling functions compiled it:

compile-file "filename user-time universal-time"

The filename is the namestring of the truename of the file the function was defined from. The time is the file-write-date of the file.

compile "Lisp on user-time, machine machine universal-time"

The time is the time that the function was compiled. Machine is the machine-instance of the machine on which the compilation was done.

compile-from-stream "stream on user-time, machine machine-instance universal-time"

Stream is the printed representation of the stream compiled from. The time is the time the compilation started.

An example of the format of user-time is 6-May-86 1:04:44. The universal-time is the same time represented as a decimal integer. It should be noted that in each case, the universal time is the last thing in the string.