From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Thread: a07f3367d7,e55912fa8f040ab5
X-Google-Attributes: gida07f3367d7,public,usenet
X-Google-NewGroupId: yes
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news2.google.com!postnews.google.com!z24g2000yqb.googlegroups.com!not-for-mail
From: Ludovic Brenta <ludovic@ludovic-brenta.org>
Newsgroups: comp.lang.ada
Subject: Re: GNAT GPL 2009 - issue with floating points?
Date: Sat, 10 Oct 2009 09:12:16 -0700 (PDT)
Organization: http://groups.google.com
Message-ID: 
 <73942172-2b6a-4337-b281-b2c93c462752@z24g2000yqb.googlegroups.com>
References: <4acf9ee2$0$23472$426a34cc@news.free.fr>
 <6d8f169d-5dc8-465c-9368-be91efc2de0f@v15g2000prn.googlegroups.com>
	<4acfb607$0$412$426a34cc@news.free.fr>
 <1d918375-9081-4e90-8abb-136f8e273622@z24g2000yqb.googlegroups.com>
	<87y6njcn7v.fsf@willow.rfc1149.net>
NNTP-Posting-Host: 94.108.203.22
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1
X-Trace: posting.google.com 1255191137 7827 127.0.0.1 (10 Oct 2009 16:12:17
 GMT)
X-Complaints-To: groups-abuse@google.com
NNTP-Posting-Date: Sat, 10 Oct 2009 16:12:17 +0000 (UTC)
Complaints-To: groups-abuse@google.com
Injection-Info: z24g2000yqb.googlegroups.com; posting-host=94.108.203.22;
	posting-account=pcLQNgkAAAD9TrXkhkIgiY6-MDtJjIlC
User-Agent: G2/1.0
X-HTTP-UserAgent: Mozilla/5.0 (X11; U; Linux x86_64; en-US; rv:1.9.0.14)
	Gecko/2009091008 Iceweasel/3.0.14 (Debian-3.0.14-1),gzip(gfe),gzip(gfe)
Xref: g2news2.google.com comp.lang.ada:8655
Date: 2009-10-10T09:12:16-07:00
List-Id: <comp.lang.ada>

Samuel Tardieu wrote on comp.lang.ada:
> >>>>> "Ludovic" == Ludovic Brenta <ludo...@ludovic-brenta.org> writes:
>
> Ludovic> I agree that the second message is confusing; it should read
> Ludovic> "size attribute is only static for a static scalar subtype (RM
> Ludovic> 4.9(7,8,26))".
>
> Right. GCC 4.5 will have an enhanced message.

Thanks for writing and submitting the patch, and thanks to Robert
Dewar for approving it on such short notice.

--
Ludovic Brenta.