From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 32181 invoked by alias); 21 Aug 2008 09:16:24 -0000 Received: (qmail 32173 invoked by uid 22791); 21 Aug 2008 09:16:23 -0000 X-Spam-Check-By: sourceware.org Received: from rock.gnat.com (HELO rock.gnat.com) (205.232.38.15) by sourceware.org (qpsmtpd/0.31) with ESMTP; Thu, 21 Aug 2008 09:15:35 +0000 Received: from localhost (localhost.localdomain [127.0.0.1]) by filtered-rock.gnat.com (Postfix) with ESMTP id A3A2A2A96E6; Thu, 21 Aug 2008 05:15:33 -0400 (EDT) Received: from rock.gnat.com ([127.0.0.1]) by localhost (rock.gnat.com [127.0.0.1]) (amavisd-new, port 10024) with LMTP id EVeX5PFmtKI8; Thu, 21 Aug 2008 05:15:33 -0400 (EDT) Received: from nile.gnat.com (nile.gnat.com [205.232.38.5]) by rock.gnat.com (Postfix) with ESMTP id 77B3B2A96DB; Thu, 21 Aug 2008 05:15:33 -0400 (EDT) Received: by nile.gnat.com (Postfix, from userid 1345) id 6D418227B28; Thu, 21 Aug 2008 05:15:33 -0400 (EDT) From: Paul Hilfinger To: eliz@gnu.org CC: Hilfinger@adacore.com, gdb-patches@sourceware.org In-reply-to: (message from Eli Zaretskii on Wed, 20 Aug 2008 18:37:03 +0300) Subject: Re: [commit] Use true boolean types in Ada Reply-to: Hilfinger@adacore.com References: <200808200249.m7K2nRJq016841@tully.CS.Berkeley.EDU> <20080820075548.C8C35227B28@nile.gnat.com> Message-Id: <20080821091533.6D418227B28@nile.gnat.com> Date: Thu, 21 Aug 2008 09:16:00 -0000 Mailing-List: contact gdb-patches-help@sourceware.org; run by ezmlm Precedence: bulk List-Id: List-Subscribe: List-Archive: List-Post: List-Help: , Sender: gdb-patches-owner@sourceware.org X-SW-Source: 2008-08/txt/msg00554.txt.bz2 Eli Zaretskii wrote, > > > Can you suggest a write-up for the manual nonetheless? I'd like to > > > see how obscure is "obscure" in this case. > > > > > Is there any reasonable way of stating the effect of this on > > > user-level features? If so, I'd prefer to at least mention them, if > > > not replace the above with them. > > > > Is this more what you have in mind? If so, I'll commit it: > > Yes, this sounds good. Please commit. OK, I have committed the following: src/gdb/ChangeLog 2008-08-21 Paul N. Hilfinger * NEWS: Amplify last entry on boolean types in Ada. src/gdb/doc/ChangeLog 2008-08-21 Paul N. Hilfinger * gdb.texinfo (Omissions from Ada): Describe new treatment of True and False. Index: src/gdb/NEWS =================================================================== RCS file: /cvs/src/src/gdb/NEWS,v retrieving revision 1.286 diff -u -p -r1.286 NEWS --- src/gdb/NEWS 20 Aug 2008 04:58:34 -0000 1.286 +++ src/gdb/NEWS 21 Aug 2008 08:57:15 -0000 @@ -59,6 +59,8 @@ conditions handling signals delivered du have also been fixed. * GDB now supports the use of DWARF boolean types for Ada's type Boolean. +From the user's standpoint, all unqualified instances of True and False +are treated as the standard definitions, regardless of context. * New features in the GDB remote stub, gdbserver Index: src/gdb/doc/gdb.texinfo =================================================================== RCS file: /cvs/src/src/gdb/doc/gdb.texinfo,v retrieving revision 1.518 diff -u -p -r1.518 gdb.texinfo --- src/gdb/doc/gdb.texinfo 20 Aug 2008 04:57:32 -0000 1.518 +++ src/gdb/doc/gdb.texinfo 21 Aug 2008 08:57:30 -0000 @@ -11218,6 +11218,14 @@ formats are not supported. @item It is not possible to slice a packed array. + +@item +The names @code{True} and @code{False}, when not part of a qualified name, +are interpreted as if implicitly prefixed by @code{Standard}, regardless of +context. +Should your program +redefine these names in a package or procedure (at best a dubious practice), +you will have to use fully qualified names to access their new definitions. @end itemize @node Additions to Ada