Re: R6RS versus the pattern operators
Marc Nieper-Wißkirchen 17 Aug 2020 15:53 UTC
Am Mo., 17. Aug. 2020 um 17:48 Uhr schrieb John Cowan <xxxxxx@ccil.org>:
> On Mon, Aug 17, 2020 at 11:27 AM Marc Nieper-Wißkirchen <xxxxxx@nieper-wisskirchen.de> wrote:
>
>> I have tried to understand R6RS's lexical syntax. According to it,
>> non-"peculiar" identifiers (that have nothing to do with "@") have to
>> start with an "initial". The set of initials, however, does not
>> contain "@". Or is there some erratum?
>
>
> No, quite right, and therefore @foo is not an identifier. However, xxxxxx@ and xxxxxx@bar are identifiers, because "@" is a <subsequent>. Therefore object/@ is an identifier too.
Oh, sorry, now I see where our confusion has come from.
By object/@ I didn't mean the identifier |object/@|. I meant the pair
of alternatives "object" and "@". SRFI 204 says that "object" is
synonymous to "@".