Re: GNAT GPL 2009 - issue with floating points?

[Dirk Herrmann <fight_spam@invalid.invalid>]

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