[r6rs-discuss] #vu8 and syntax

[David Van Horn]

On 6/29/07, R. Kent Dybvig <dyb at cs.indiana.edu> wrote:
> > > If (syntax #()) is allowed, shouldn't (syntax #vu8()) be as well?
> >
> > +1.  Obviously yes.  Good catch!
>
> Any bytevector qualifies as a pattern datum (any nonlist, nonvector,
> nonsymbol datum) unless one takes "nonvector" as implying "nonbytevector".
> I assume you don't mean to allow, more generally, patterns or templates
> like #vu(3 4 x 5 6), where x is a pattern variable, since such patterns
> and templates would be rejected when the program is read.

Sorry, I missed that a bytevector is a pattern datum, but yes, my
question was really more about syntax pattern matching and
construction using #uv8(...) analogously to #(...).

David