Good catch.  I'm not sure if it should be inclusive ("letter (letter |
digit)*") or exclusive (a list of all the tags).  The spec is written
to say you only need to support the tags that your underlying @vector
implementation supports, so let's leave that as an open issue for now.

I'm going to rewrite SRFI 160 shortly to include "f16" and "char" as
values of @, and tighten the assumptions so that the actual size
matches the inferred size.

On Sat, Apr 11, 2026 at 3:00 PM Arthur A. Gleckler <xxxxxx@speechcode.com> wrote:
>
> On Sat, Apr 11, 2026 at 11:45 AM John Cowan <xxxxxx@ccil.org> wrote:
>
>>
>> Arthur, can you make this correction?  Thanks.
>
>
> Done.  Should there be an EBNF definition of tag, too?