Insertions

I also note in passing that insertions are actually a different syntactic 
beast to terminals.

The marks on terminals don't affect parsing, only serialisation. A + isn't 
a mark in this sense, because the thing after the + isn't a part of the 
parse.


So rather than 


 <literal tmark='+' string=','/>

It should more realistically be

 <insertion string=","/>

By the way, note that the following is now legal ixml:

 values: value+++",".

Steven

Received on Tuesday, 24 May 2022 14:07:40 UTC