[no subject]

[rms@MIT-MC (Sent by WGD@MIT-MC)]

The way to return from a PROG T is with RETURN-FROM-T,
which is different from RETURN-FROM T in precisely the manner
you are asking for.  It is a feature that RETURN-FROM
affects a RETURN inside it; this way, constructs like
(RETURN-FROM FOO (RETURN-LIST BAR)) are possible,
which there would be no other way to express.

Probably PROG T should be replaced with something else
that doesn't cause confusion with normal PROGs.