From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 15248 invoked by alias); 23 Feb 2003 14:56:00 -0000 Mailing-List: contact gcc-prs-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Archive: List-Post: List-Help: Sender: gcc-prs-owner@gcc.gnu.org Received: (qmail 15198 invoked by uid 71); 23 Feb 2003 14:56:00 -0000 Date: Sun, 23 Feb 2003 14:56:00 -0000 Message-ID: <20030223145600.15195.qmail@sources.redhat.com> To: bje@gcc.gnu.org Cc: gcc-prs@gcc.gnu.org, From: Geert Bosch Subject: Re: ada/9406: Documentation suggestion Reply-To: Geert Bosch X-SW-Source: 2003-02/txt/msg01161.txt.bz2 List-Id: The following reply was made to PR ada/9406; it has been noted by GNATS. From: Geert Bosch To: Simon Wright Cc: bosch@gcc.gnu.org, bje@gcc.gnu.org, gcc-bugs@gcc.gnu.org, gcc-prs@gcc.gnu.org, gcc-gnats@gcc.gnu.org Subject: Re: ada/9406: Documentation suggestion Date: Sun, 23 Feb 2003 09:51:23 -0500 On Sunday, Feb 23, 2003, at 07:16 America/New_York, Simon Wright wrote: > Now (3) and (4) *cannot be right* because this is in a section where > *there is no ada main program*, OK? > ... > I see your point about partitions though I must say it was far from > obvious that I should be looking there. Perhaps the UM should have a > reference to the RM. I now see what you mean. I agree that the language here could be improved. Actually, the language from the Ada RM that I quoted seems to be pretty clear, so I think we should borrow from that or indeed put in a link (or both). -Geert