Re: Insertions

On 24/05/2022 15:07, Steven Pemberton wrote:
> So rather than
>
>     <literal tmark='+' string=','/>
>
> It should more realistically be
>
>     <insertion string=","/> 

The  revised staged spec of 24th gives a definition:


          Insertions

    An insertion is a literal proceeded by a plus |+|. An insertion
    matches zero characters in the input, and only appears in the
    serialization.

        insertion: -"+", s, literal.

but there may be a further problem, in that going via literal to quoted 
or encoded permits a tmark to appear, e.g.

      + -"An insertion"

Perhaps we need to define it thus:

    insertion: -"+", s, (string | hex).

Would that work better?

-- 
*John Lumley* MA PhD CEng FIEE
john@saxonica.com