LC 2 changes Wolfgang Corcoran-Mathe 10 Jul 2020 02:39 UTC

(1) Since exception->either is now a procedure, it doesn't belong in
the "Syntax" section; I'd suggest the "Protocol Conversion" section.

(2) The form statement for values->either was deleted accidentally
in commit a57fbcd9; commit 42768abf, instead of restoring it, added
a duplicate of maybe->values.  The original line from before a57fb
should be restored.

(3) How strictly should we read "A claw is either an identifier
bound by an earlier claw..."?  Is it an error, for example, if an
identifier appears which was bound outside of the -let* form, e.g.

    (let ((m (just 0)))
      (maybe-let* (m) ...))

The current implementation allows this, and I think this should
work; it would also take a substantially more complex macro to
catch identifiers not bound by earlier claws.  If identifiers
which appear free in a -let* form are valid claws, the qualifying
phrase "bound by an earlier claw" should be deleted or changed.

Wolfgang Corcoran-Mathe  <>

"Prolonged contact with the computer turns mathematicians into
clerks and vice-versa." --Alan J. Perlis