[r6rs-discuss] [Formal] <symbol escape> undefined

From: Michael Sperber <sperber>
Date: Wed Nov 22 11:24:13 2006

David Van Horn <dvanhorn_at_cs.brandeis.edu> writes:

> The production <symbol escape> is used, but not defined. Perhaps this
> was meant to be <inline hex escape>.

Yes; will fix. Thanks!

-- 
Cheers =8-} Mike
Friede, V?lkerverst?ndigung und ?berhaupt blabla
Received on Wed Nov 22 2006 - 11:24:03 UTC

This archive was generated by hypermail 2.3.0 : Wed Oct 23 2024 - 09:15:00 UTC