Re: 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?

I think it probably would.

The use of ‘literal’ has survived into at least the 2022-05-27 draft of
the spec on Steven’s personal site. I asked if that was ready to be
pushed to the public repo, but I haven’t seen a reply yet.

                                        Be seeing you,
                                          norm

--
Norm Tovey-Walsh
Saxonica