From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 21149 invoked by alias); 20 Aug 2008 07:56:30 -0000 Received: (qmail 21139 invoked by uid 22791); 20 Aug 2008 07:56:29 -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; Wed, 20 Aug 2008 07:55:50 +0000 Received: from localhost (localhost.localdomain [127.0.0.1]) by filtered-rock.gnat.com (Postfix) with ESMTP id F3D4D2A9683; Wed, 20 Aug 2008 03:55:48 -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 Z57NJ1ABucJ4; Wed, 20 Aug 2008 03:55:48 -0400 (EDT) Received: from nile.gnat.com (nile.gnat.com [205.232.38.5]) by rock.gnat.com (Postfix) with ESMTP id E05C72A9627; Wed, 20 Aug 2008 03:55:48 -0400 (EDT) Received: by nile.gnat.com (Postfix, from userid 1345) id C8C35227B28; Wed, 20 Aug 2008 03:55:48 -0400 (EDT) From: Paul Hilfinger To: eliz@gnu.org CC: gdb-patches@sourceware.org In-reply-to: <200808200249.m7K2nRJq016841@tully.CS.Berkeley.EDU> (message from Eli Zaretskii on Tue, 19 Aug 2008 21:40:23 +0300) Subject: Re: [commit] Use true boolean types in Ada Reply-to: Hilfinger@adacore.com References: <200808200249.m7K2nRJq016841@tully.CS.Berkeley.EDU> Message-Id: <20080820075548.C8C35227B28@nile.gnat.com> Date: Wed, 20 Aug 2008 07:56: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/msg00533.txt.bz2 Eli, > 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: Index: gdb/NEWS =================================================================== RCS file: /cvs/src/src/gdb/NEWS,v retrieving revision 1.286 diff -u -p -r1.286 NEWS --- gdb/NEWS 20 Aug 2008 04:58:34 -0000 1.286 +++ gdb/NEWS 20 Aug 2008 06:47:18 -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: 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 --- gdb/doc/gdb.texinfo 20 Aug 2008 04:57:32 -0000 1.518 +++ gdb/doc/gdb.texinfo 20 Aug 2008 06:47:31 -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