From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gdb-patches-return-109782-listarch-gdb-patches=sources.redhat.com@sourceware.org>
Received: (qmail 22775 invoked by alias); 27 Jan 2014 15:56:59 -0000
Mailing-List: contact gdb-patches-help@sourceware.org; run by ezmlm
Precedence: bulk
List-Id: <gdb-patches.sourceware.org>
List-Subscribe: <mailto:gdb-patches-subscribe@sourceware.org>
List-Archive: <http://sourceware.org/ml/gdb-patches/>
List-Post: <mailto:gdb-patches@sourceware.org>
List-Help: <mailto:gdb-patches-help@sourceware.org>, <http://sourceware.org/ml/#faqs>
Sender: gdb-patches-owner@sourceware.org
Received: (qmail 22765 invoked by uid 89); 27 Jan 2014 15:56:58 -0000
Authentication-Results: sourceware.org; auth=none
X-Virus-Found: No
X-Spam-SWARE-Status: No, score=-3.0 required=5.0 tests=AWL,BAYES_00,SPF_SOFTFAIL autolearn=no version=3.3.2
X-HELO: mtaout27.012.net.il
Received: from mtaout27.012.net.il (HELO mtaout27.012.net.il) (80.179.55.183) by sourceware.org (qpsmtpd/0.93/v0.84-503-g423c35a) with ESMTP; Mon, 27 Jan 2014 15:56:56 +0000
Received: from conversion-daemon.mtaout27.012.net.il by mtaout27.012.net.il (HyperSendmail v2007.08) id <0N0200400HC5XP00@mtaout27.012.net.il> for gdb-patches@sourceware.org; Mon, 27 Jan 2014 17:56:05 +0200 (IST)
Received: from HOME-C4E4A596F7 ([87.69.4.28]) by mtaout27.012.net.il (HyperSendmail v2007.08) with ESMTPA id <0N0200302HLH9940@mtaout27.012.net.il>; Mon, 27 Jan 2014 17:56:05 +0200 (IST)
Date: Mon, 27 Jan 2014 15:56:00 -0000
From: Eli Zaretskii <eliz@gnu.org>
Subject: Re: [Ada/NEWS+doco] New Ada maintenance command to ignore descriptive types (DWARF).
In-reply-to: <1390797415-6071-1-git-send-email-brobecker@adacore.com>
To: Joel Brobecker <brobecker@adacore.com>
Cc: gdb-patches@sourceware.org
Reply-to: Eli Zaretskii <eliz@gnu.org>
Message-id: <83iot5a05d.fsf@gnu.org>
References: <1390797415-6071-1-git-send-email-brobecker@adacore.com>
X-IsSubscribed: yes
X-SW-Source: 2014-01/txt/msg00984.txt.bz2

> From: Joel Brobecker <brobecker@adacore.com>
> Date: Mon, 27 Jan 2014 08:36:55 +0400
> 
> +* New options
> +
> +maint ada set ignore-descriptive-types (on|off)
> +maint ada show ignore-descriptive-types
> +  Control whether the debugger should ignore descriptive types.

I would say "... descriptive types in Ada programs", so that readers
who don't use Ada will not bother looking this up in the manual, even
if they missed the crucial hint in the name of the option.

> +In particular, this convention makes use of @samp{descriptive types},

This should be in @dfn, not @samp, as you are introducing new
terminology.  Also, a @cindex entry for that would be nice.

> +The default is to use descriptives types (@code{off}).
                  ^^^^^^
"not to ignore" is better than "to use" here.

OK with those changes.  However, I wonder if we really should document
this in such a detailed manner, if this is really a temporary measure.
Your call.

Thanks.