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, MSGID_RANDY autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,c7ea1cb7a2beb2ee X-Google-Attributes: gid103376,public From: Robert Dewar Subject: Re: Disallowing Pre-Defined Operations Date: 2000/03/18 Message-ID: <8b0pb9$apg$1@nnrp1.deja.com>#1/1 X-Deja-AN: 599296381 References: <8a9eeg$qtv$1@newpoisson.nosc.mil> <38D2E598.262D1CD5@erols.com> X-Http-User-Agent: Mozilla/4.61 [en] (OS/2; I) X-Http-Proxy: 1.0 x28.deja.com:80 (Squid/1.1.22) for client 205.232.38.14 Organization: Deja.com - Before you buy. X-Article-Creation-Date: Sat Mar 18 20:35:54 2000 GMT X-MyDeja-Info: XMYDJUIDrobert_dewar Newsgroups: comp.lang.ada Date: 2000-03-18T00:00:00+00:00 List-Id: In article <38D2E598.262D1CD5@erols.com>, whitaker@erols.com wrote: > Of course, the ideal is an Ada recognition of the Units > requirement and implementation at the standard/compiler level. I don't see the "of course" here at all. It is not at all clear that the damage to the language done by the additional complexity here would be worth the additional functionality. Given that the discriminants solution works fine, and has an efficient implementation, that seems good enough to me. If no compiler vendor has bothered to provide this efficient implementation, it would tend to indicate that it is simply not that important. Certainly we have never had any customers asking for such a feature, and our customers are not shy when it comes to asking for enhancements (the long list of features in the new release of GNAT 3.13a is largely fueled by customer requests). Robert Dewar Ada Core Technologies P.S. Exploring this more efficient implementation would certainly make a nice GNAT-based project for someone to undertake. Sent via Deja.com http://www.deja.com/ Before you buy.