On Fri, Jul 29, 2022 at 01:57:27PM +0100, Gavin Smith wrote: > On Fri, Jul 29, 2022 at 12:53:53AM +0200, pertu...@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.