Re: Issue: STACK-LET (Version 1)

[Scott.Fahlman@B.GP.CS.CMU.EDU]

Is there any reason, aside from compatibility with the current Symbolics
usage, why you prefer

(stack-let ((x (list a b c))) ...body ...)

to

(let ((x (list a b c)))
  (declare (dynamic-value x))
  ... body )

Since the idea is to give advice to the compiler about a specific binding,
it seems to me that a declaration would be more consistent with the rest of
the language than a new special form.  For example, that's how we handle
advice about type restrictions.  Also, this would allow one to mix dynamic
and non-dynamic bindings in the same LET form.

-- Scott