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,de68e4ddf10693 X-Google-Attributes: gid103376,public From: dewar@gnat.com Subject: Re: Multiple pragma Imports Date: 1998/12/28 Message-ID: <767249$nbb$1@nnrp1.dejanews.com>#1/1 X-Deja-AN: 426326513 References: <762u9n$kfn$1@nnrp1.dejanews.com> X-Http-Proxy: 1.0 x1.dejanews.com:80 (Squid/1.1.22) for client 166.72.71.106 Organization: Deja News - The Leader in Internet Discussion X-Article-Creation-Date: Mon Dec 28 04:40:41 1998 GMT Newsgroups: comp.lang.ada X-Http-User-Agent: Mozilla/4.04 [en] (OS/2; I) Date: 1998-12-28T00:00:00+00:00 List-Id: In article , jerry@jvdsys.stuyts.nl (Jerry van Dijk) wrote: > a) GNAT follows the RM; > b) GNAT issuing an error if an interfacing pragma matches more than one subprogram signature; That seems a bit confused, we can't issue an error message for this, since it is perfectly normal. It is not even right to issue a warning, since it is quite common to use the same Import for a function and procedure, and perfectly legitimate (one might almost say a standard idiom for C!) > c) GNAT having a switch to revert to its old behaviour to enable use of current bindings, to be phased out at some later date; Since what GNAT was doing is clearly wrong, this seems a bad idea. It is either trivial to fix the binding, or not quite trivial (use renamings), but in the latter case, GNAT was certainly NOT doing what the programmer intended, so it is far better to give an error. I don't think there is any language issue here. Considerations of upwards compatibility make it impractical to fix this problem even if you regard it as a problem. Robert Dewar Ada Core Technologies -----------== Posted via Deja News, The Discussion Network ==---------- http://www.dejanews.com/ Search, Read, Discuss, or Start Your Own