Proposal #5 (aside)

[dcp@TENEX.SCRC.Symbolics.COM]

    Date: Tue, 29 Jul 86 22:46 EDT
    From: David A. Moon <Moon@STONY-BROOK.SCRC.Symbolics.COM>

	Date: Mon, 21 Jul 1986  21:46 EDT
	From: "Scott E. Fahlman" <Fahlman@C.CS.CMU.EDU>

	Proposal #5: PARSE-BODY
	....PARSE-BODY may perform macro-expansion (using the given
	environment) in order to determine whether an initial macro-call expands
	into a DECLARE form or documentation string.

    Since when can macros expand into documentation strings?

Sidestepping the issue of whether or not it is currently allowed, I see
no reason it shouldn't be allowed.  Consider a program-writing-program
that generates some code like
	(defun helper-function-259 (...args...)
	  (declare (safety 2) (speed 1))
	  (compute-documentation-string :safety 2 :speed 1
					:parent "helper-function"
					:contract "factor the number 259")
	  (declare (inline aref))
	  ...)