READ-LINE遇到EOF时会触发何种错误？

你推断的END-OF-FILE错误类型是正确的，既不是你漏看了Hyperspec内容，也不取决于具体实现：

• Hyperspec的read-line条目确实没明确标注触发的错误类型，但Common Lisp标准有通用约定：所有标准读取函数（包括read-line、read、read-char等），当eof-error-p为真且在读取前遇到EOF时，都会抛出END-OF-FILE这个标准错误类。
• 这类通用规范不会在每个函数的Hyperspec条目里重复说明，所以你找不到直接标注是正常的，从read-from-string相关问题推导的结论完全符合标准。

内容的提问来源于stack exchange，提问作者shadowtalker