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.3 required=5.0 tests=BAYES_00,INVALID_MSGID autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,a65079927bff9697 X-Google-Attributes: gid103376,public From: dewar@cs.nyu.edu (Robert Dewar) Subject: Re: 'Digit in generic package Date: 1996/08/28 Message-ID: #1/1 X-Deja-AN: 176922278 references: <9608261530.AA06035@most> organization: Courant Institute of Mathematical Sciences newsgroups: comp.lang.ada Date: 1996-08-28T00:00:00+00:00 List-Id: iRobert Eachs says " then Precision can be static in the instance even though it is not static in the generic template. This is exactly the behavior commented on above. And if an instance is such that some code can be statically eliminated, most compilers will do so. (There is at least one compiler on the market which uses a generic model which prevents this, but that is an accepted trade-off. By not doing any generic instantiations at compile time, the resulting code size is smaller.) " Whether a compiler can or cannot perform optimziations based on compile time known constant values has nothing whatsoever to do with whether these values are static. The set of static expressions changed in Ada 95, the set of expressions whose value can be determined at compile time did not change (except from the addition of new facilities), so I find the discussion of staticness in instances to be completely irrelevant to this discussion.