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,f4f6a5b783e1150c X-Google-Attributes: gid103376,public From: robert_dewar@my-dejanews.com Subject: Re: MI for Ada Date: 1999/02/15 Message-ID: <7a86q2$kec$1@nnrp1.dejanews.com>#1/1 X-Deja-AN: 444399990 References: <36C365F8.50E84F94@averstar.com> <7a2j8q$meo@bgtnsc01.worldnet.att.net> <7a7aav$mse$2@plug.news.pipex.net> X-Http-Proxy: 1.0 x13.dejanews.com:80 (Squid/1.1.22) for client 129.37.100.125 Organization: Deja News - The Leader in Internet Discussion X-Article-Creation-Date: Mon Feb 15 04:11:50 1999 GMT Newsgroups: comp.lang.ada X-Http-User-Agent: Mozilla/4.04 [en] (OS/2; I) Date: 1999-02-15T00:00:00+00:00 List-Id: In article <7a7aav$mse$2@plug.news.pipex.net>, "Nick Roberts" wrote: > A blasphemy in 1983 perhaps, but not such a blasphemy > now. Provided the extended syntax is rejected when the > compiler is in 'standard mode', and > accepted in some special mode (probably activated by a > compiler flag), the sacred snake remains in his lair. It is equally valid to have the RM mode activated by a flag, there is no sense which requires the "default" mode (whatever that means) to be the RM mode. > > Actually, it occurs to me that there is no particular > difficulty in providing multiple inheritance from several > publicly null-record tagged types at the same time. Hmm! Nick, you have a long way to go in analyzing difficult RM issues. No particular difficulty??? This is in fact a VERY difficult proposal to get right, and almost certainly it will run aground on any number of rocks on the way. Have you read the AI's. I assume so if you are even vaguely serious about implementing an Ada 95 compiler. If not, you should, it would give you an interesting insight into the delicate semantic issues of the language. Actually reading the AARM is also a good way to get a feeling for this. Multiple inheritance is a well known landmine in programming language semantic definition land! -----------== Posted via Deja News, The Discussion Network ==---------- http://www.dejanews.com/ Search, Read, Discuss, or Start Your Own