Non-evaluated error message in ASSERT

To: Scott E. Fahlman <Fahlman%CMU-CS-C@SU-DSN>
Subject: Non-evaluated error message in ASSERT
From: David A. Moon <MOON%SCRC-TENEX%MIT-MC@SU-DSN>
Date: Fri, 29 Jul 1983 20:35:00 -0000
Cc: COMMON-LISP@SU-AI
In-reply-to: The message of 29 Jul 83 11:07-EDT from Scott E. Fahlman <Fahlman at CMU-CS-C.ARPA>

CHECK-TYPE already does evaluate its optional third argument (error message).
If the manual doesn't say this, it's a mistake in the manual.