Re: rethinking @def*

[Patrice Dumas]

On Wed, Aug 10, 2022 at 04:44:17PM +0100, Gavin Smith wrote:
> 
> I don't see any hope of fixing this, so we have to do more protection,
> perhaps outputting something like \texttt{a :\ b} instead of \texttt{a : b}.

The regexp you used misses the case of a punctuation at the end of a
text element, followed by space in the next element, which happens in
@def* arguments because the argument is 'parsed' and split in little
bits of text with specific types.  I haven't checked, but a construct
like the following may also be missed, although it depends on what LaTeX
does in such a context:

@code{@var{?} a}.

Maybe also protect the first leading space in code context?  Would that
be too 'invasive'?  Otherwise, it could also be possible to get the
@def* arguments without the parsing, or treat especially the parsed
arguments based on {'extra'}->{'def_role'} eq 'spaces' but it seems less
robust to me as could miss other cases where the punctuation and the
space are not in the same element.

-- 
Pat