Re: rethinking @def*

[Gavin Smith]

On Fri, Jul 29, 2022 at 01:57:27PM +0100, Gavin Smith wrote:
> On Fri, Jul 29, 2022 at 12:53:53AM +0200, pertusus@free.fr wrote:
> > Hello,
> > 
> > I did an implementation in LaTeX.
> > 
> > A first possible issue.  In non @deftype*, @code around metasyntactical
> > separators (bracket or parentheses) causes the metasyntactical
> > separators to become slanted.  It is consistent, putting in @code remove
> > the automatic upright, but it is not very intuitive, as @code turns non
> > slanted to slanted.
> > 
> > With the first line, [ are upright typewriter.  With the second line,
> > [ are slanted typewriter:
> > 
> > @defspec foobar (var [from to [inc]]) default
> > @defspecx foobar (var @code{[}from to @code{[}inc@code{]]}) code
> 
> I got the first line as slanted roman, not upright typewriter?
> git rev 4fe154fa033fa9c.

I got your more recent commits.  It is as you said.  I agree that this
is wrong.