#

## 6.1.1.5.4 Summary of Unconditional Execution Clauses

The `do` (or `doing`) construct evaluates all forms in its clause.

The `return` construct takes one form. Any values returned by the form are immediately returned by the loop form. It is equivalent to the clause `do (return-from` block-name`` value`)`, where block-name is the name specified in a `named` clause, or nil if there is no `named` clause.

For more information, see Section 6.1.5 (Unconditional Execution Clauses).

The following X3J13 cleanup issue, not part of the specification, applies to this section:

- LOOP-MISCELLANEOUS-REPAIRS:FIX

Copyright 1996-2001, Xanalys Inc. All rights reserved.