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=-0.3 required=5.0 tests=BAYES_00, REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4 X-Google-Thread: 103376,b8b8a54001adc4d2 X-Google-Attributes: gid103376,public X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news1.google.com!news2.google.com!fu-berlin.de!uni-berlin.de!individual.net!not-for-mail From: "Dmitry A. Kazakov" Newsgroups: comp.lang.ada Subject: Re: Possible Ada deficiency? Date: Mon, 10 Jan 2005 19:45:20 +0100 Organization: cbb software GmbH Message-ID: <9ls4dpw9xkri$.1t4b3d8zglukq.dlg@40tude.net> References: <1104516913.718856.94090@z14g2000cwz.googlegroups.com> <16jm4u4b7j5bh.5r4falzh3k6a$.dlg@40tude.net> Reply-To: mailbox@dmitry-kazakov.de Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit X-Trace: individual.net 7q9qadv63223RCWzTgP89wKhOj99cRuxLl0nDn2HeT/WhYYgc= User-Agent: 40tude_Dialog/2.0.12.1 Xref: g2news1.google.com comp.lang.ada:7614 Date: 2005-01-10T19:45:20+01:00 List-Id: On 10 Jan 2005 18:58:12 +0100, Pascal Obry wrote: > Duncan Sands writes: > >>> Another thing *I* would remove from the language is pragmas! At least I >>> would not allow them anywhere except bodies. >> >> What about pragma Inline? I would leave all optimization issues to the compiler. A separate case is inlining and executing of a static pure function at compile-time to get a static value. Unfortunately it is not Ada. But if it would then it should be a syntactic construct indicating declaration of a pure function, not a pragma > And Import / Export / Interface ? Since there is no body in those cases :) You mean that there is a non-Ada body. But for Import I would provide an Ada body and place the pragma there (if that should be a pragma). Later one could replace the body with an Ada implementation and vise versa *without* touching specifications. --- I consider pragmas as a dangerous, quick and dirty way of patching language holes instead of searching for an appropriate generalization. -- Regards, Dmitry A. Kazakov http://www.dmitry-kazakov.de