This is the mail archive of the gdb-patches@sources.redhat.com mailing list for the GDB project.


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]
Other format: [Raw text]

Re: [RFA]: Turn on Ada support


Eli,


> > > > +The type of the @t{'Address} attribute may not be @t{System.Address}.
> > > 
> > > I think you should use @code instead of @t in this and similar cases.
> > 
> > Umph.  The problem is that @code{'Address} generates `'Address' in Info files,
> > which looks odd.
> 
> That's true, but isn't that a problem in all Ada-related
> documentation?

Not quite sure of your point here.  In info files, just plain
'Address, without bracketing quotation marks, seems (to me anyway) to
work just fine.  It also seems readable in the TeX version (moreso,
due to the change in font).  Yeah, I know that @code is the right mark
to use, semantically speaking, but this seems to be one of those
awkward cases where aesthetics conflict with strict correctness.

Paul Hilfinger



Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]