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!news3.google.com!proxad.net!feeder1-2.proxad.net!newsfeed.straub-nv.de!news.albasani.net!not-for-mail From: Dirk Herrmann Newsgroups: comp.lang.ada Subject: Re: GNAT GPL 2009 - issue with floating points? Date: Sun, 11 Oct 2009 11:33:04 +0200 Organization: albasani.net Message-ID: References: <4acf9ee2$0$23472$426a34cc@news.free.fr> <6d8f169d-5dc8-465c-9368-be91efc2de0f@v15g2000prn.googlegroups.com> <4acfb607$0$412$426a34cc@news.free.fr> <7d4eb248-3730-4bf0-af51-72a062778510@u16g2000pru.googlegroups.com> <4ad02c34$0$9952$426a74cc@news.free.fr> <1x0s4pludozr7$.r1whvkk9abyn$.dlg@40tude.net> Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit X-Trace: news.albasani.net 4g5osqgrQf9zhkkxrvs5GX4yKEg/YQfDqU5b/enUZyKBPfoQO2Eu3niIdWDCg+3Y9laGiS4GPW2+NHH09ymUZXY3dSdy52GQw0jEn9MGZZ7hdn1SzL9/8RF0K24bnxCb X-Complaints-To: abuse@albasani.net NNTP-Posting-Date: Sun, 11 Oct 2009 09:33:05 +0000 (UTC) X-User-ID: VJ5MAtdhvu4LYa4y6uJuvGuSdCFDLkt9bSaQUabAHb28TjH82u8H3iczVELVcnWIk+t/T0vP4gFeWYBece3cnA== In-Reply-To: <1x0s4pludozr7$.r1whvkk9abyn$.dlg@40tude.net> Cancel-Lock: sha1:3+EuCxyzPX6LX0sAGI73K1iF2tc= User-Agent: Mozilla-Thunderbird 2.0.0.22 (X11/20090706) X-NNTP-Posting-Host: 9/rqLYacTxrILhBHNLUQ2gM7eJ9qduKvUcYEkS3ed84= Xref: g2news2.google.com comp.lang.ada:8661 Date: 2009-10-11T11:33:04+02:00 List-Id: Dmitry A. Kazakov wrote: > On Sat, 10 Oct 2009 08:39:47 +0200, Damien Carbonne wrote: > >> Thanks, now things are clearer. I understand that the compiler can not >> determine Real'Size when it compiles the generic package, but when it is >> instantiated, it should have then necessary knowledge. > > Not if the generic body is shared, rather than expanded. It seems that the rules for generics are designed to allow sharing. It surprises me, however, that there is no means to state that sharing is not required, like, for example, a pragma or attribute. Such generics would offer more implementation possibilities, since more information would be static. I understand the desire to support sharing, but for me it is a resource issue (affecting ROM size and execution time) that might better be put under control of the developer. -- Regards, Dirk Herrmann