On 6/29/07, AndrevanTonder <andre at het.brown.edu> wrote:
> On Fri, 29 Jun 2007, David Van Horn wrote:
>
> > On 6/29/07, R. Kent Dybvig <dyb at cs.indiana.edu> wrote:
> >>
> >> 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 #(...).
>
> The problem is that identifiers in bytevectors would break (program = data).
Right, I see now why it is not allowed, which is analogous to the
restriction on unquoting within #vu8(...) versus #(...).
David
Received on Fri Jun 29 2007 - 17:56:13 UTC