- From: Liam R. E. Quin <liam@fromoldbooks.org>
- Date: Sat, 26 Aug 2023 19:35:08 -0400
- To: graydonish@gmail.com, Norm Tovey-Walsh <norm@saxonica.com>, public-ixml@w3.org
On Sat, 2023-08-26 at 18:38 -0400, Graydon wrote: > On Fri, Aug 25, 2023 at 05:09:59PM +0100, Norm Tovey-Walsh scripsit: > > <aside> > > I think we should introduce a required terminal for “empty”. > > One candidate is ε: > > > > rule: name, "=", value; ε . > > > > but there lots of other possibilities as well. > > </aside> > > One vote from the peanut gallery strongly in favour. > > ∅ (U+2205 EMPTY SET) might be another character possibility. In Yacc days people used to use empty: /* empty */ ; as i recall (where /*....*/ denotes a comment). Or if not a specific production, just a comment, /* empty */. Maybe, in ixml, -empty: . could help?? Then use empty in productions. Might make ambiguities though, hmm. The ixml syntax is already a little unusual, or at least i find it unfamiliar, and adding more symbols isn't going to help with that. But a styling convention might. -- Liam Quin, https://www.delightfulcomputing.com/ Available for XML/Document/Information Architecture/XSLT/ XSL/XQuery/Web/Text Processing/A11Y training, work & consulting. Barefoot Web-slave, antique illustrations: http://www.fromoldbooks.org
Received on Saturday, 26 August 2023 23:35:35 UTC