On Thu, May 11, 2006 at 08:57:53PM +0800, Audrey Tang wrote: > Patrick R. Michaud wrote: > >> - <sp> is a single character of obligatory whitespace > > Hmm, it's literal ' ' (that is, \x20), not "whitespace" in general, > right? For "obligatory whitespace" we have \s.
Oops, you're correct, I forgot that <sp> is already \x20. Allison's proposed definition of <sp> above seems to want to change that to "obligatory whitespace". That's more of what I was reacting against. For summary, here's how I currently read S05's space/whitespace rules (and what PGE implements, or is expected to implement): space character: \x20 \o40 <' '> <?sp> <[ ]> <+[ ]> backslash+space whitespace: \s <?space> <?blank> > > We _already_ have \s, <blank>, and <space> to represent > > the notion of "a whitespace character" -- do we really need a > > separate <sp> form also? (An idle thought: perhaps "sp" is > > better used as an :sp adverb and a corresponding <?sp> regex?) > > Well, without /<?sp>/ to stand for /\x20/, it'd have to be written as > /<' '>/, which is a bit suboptimal. [...] I agree, <sp> makes more sense as \x20, so I retract my idle thought. Thanks, Pm