On 2020-10-14 09:19 -1000, Shiro Kawai wrote:
> Yeah including the leading double-quote may be good.  From parser's
> perspective, after reading #u8 it can peek at the next char to dispatch.

So is the idea to accept both '#u8foo"' and '#u8"foo"'?  Maybe I've
misunderstood.  I'd like the leading #\" to either be part of the
prefix or part of the content, but not optional.

--
Wolfgang Corcoran-Mathe  <xxxxxx@sigwinch.xyz>

"The composer makes plans, music laughs." --Morton Feldman