[r6rs-discuss] #vu8 and syntax

From: David Van Horn <dvanhorn>
Date: Fri, 29 Jun 2007 15:28:22 -0400

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
Received on Fri Jun 29 2007 - 15:28:22 UTC