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,7e021fc0e7fc15a1 X-Google-Attributes: gid103376,public From: robert_dewar@my-dejanews.com Subject: Re: Ada 95 LRM Error? Date: 1999/02/02 Message-ID: <7963cg$a3a$1@nnrp1.dejanews.com>#1/1 X-Deja-AN: 439629703 References: <36AF6C22.896FC5B8@easystreet.com> <78oaj9$d9g@sjx-ixn5.ix.netcom.com> <36AFC42A.57696F4D@easystreet.com> <78qsvv$pim@dfw-ixnews10.ix.netcom.com> <78seia$f03$1@nnrp1.dejanews.com> X-Http-Proxy: 1.0 x15.dejanews.com:80 (Squid/1.1.22) for client 205.232.38.14 Organization: Deja News - The Leader in Internet Discussion X-Article-Creation-Date: Tue Feb 02 05:44:50 1999 GMT Newsgroups: comp.lang.ada X-Http-User-Agent: Mozilla/4.04 [en] (OS/2; I) Date: 1999-02-02T00:00:00+00:00 List-Id: In article , Keith Thompson wrote: > robert_dewar@my-dejanews.com writes: > The general point is correct, but the specific point is > not; int and char are definitely distinct types in C. Well I was using type and subtype in the Ada sense, which I agree is a bit confusing, since the notion of type in C subsumes both ideas. But the critical point of the meaning of type in Ada is that different types are not assignment compatible, so in Ada terms, int and char cannot be considered different types. The promotion you talk of in C, corresponds to the conversion of subtypes to the base type in Ada or some such. It is always difficult to compare languages at this level of terminology when the terminologies differ. -----------== Posted via Deja News, The Discussion Network ==---------- http://www.dejanews.com/ Search, Read, Discuss, or Start Your Own