LC 2 changes Wolfgang Corcoran-Mathe (10 Jul 2020 02:40 UTC)
|
Re: LC 2 changes
(no sender)
(10 Jul 2020 06:04 UTC)
|
Re: LC 2 changes
John Cowan
(10 Jul 2020 20:21 UTC)
|
Re: LC 2 changes
(no sender)
(10 Jul 2020 20:50 UTC)
|
Re: LC 2 changes
John Cowan
(10 Jul 2020 22:33 UTC)
|
Re: LC 2 changes
Wolfgang Corcoran-Mathe
(10 Jul 2020 23:55 UTC)
|
Re: LC 2 changes
John Cowan
(11 Jul 2020 15:13 UTC)
|
Re: LC 2 changes
(no sender)
(11 Jul 2020 19:09 UTC)
|
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 <xxxxxx@sigwinch.xyz> "Prolonged contact with the computer turns mathematicians into clerks and vice-versa." --Alan J. Perlis