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.6 required=5.0 tests=BAYES_00,FROM_WORDY autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,571930b4ff0bc1ee X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2001-03-28 21:09:01 PST Path: supernews.google.com!sn-xit-02!supernews.com!nntp-relay.ihug.net!ihug.co.nz!news-hog.berkeley.edu!ucberkeley!enews.sgi.com!newscon06.news.prodigy.com!prodigy.com!newsmst01!postmaster.news.prodigy.com!newssvr16.news.prodigy.com.POSTED!not-for-mail From: "Ken Garlington" Newsgroups: comp.lang.ada References: <3AC03CCE.70E3C2D5@mida.se> <3AC192D0.B1E48088@mida.se> Subject: Re: Compile time executed functions Organization: ex-FlashNet, now Prodigy X-Priority: 3 X-MSMail-Priority: Normal X-Newsreader: Microsoft Outlook Express 5.50.4522.1200 X-MimeOLE: Produced By Microsoft MimeOLE V5.50.4522.1200 Message-ID: <5mzw6.416$KS6.73405549@newssvr16.news.prodigy.com> NNTP-Posting-Host: 65.65.211.168 X-Complaints-To: abuse@prodigy.net X-Trace: newssvr16.news.prodigy.com 985842177 6207069 65.65.211.168 (Thu, 29 Mar 2001 00:02:57 EST) NNTP-Posting-Date: Thu, 29 Mar 2001 00:02:57 EST Date: Thu, 29 Mar 2001 05:02:57 GMT Xref: supernews.google.com comp.lang.ada:6186 Date: 2001-03-29T05:02:57+00:00 List-Id: "Mats Karlssohn" wrote in message news:3AC192D0.B1E48088@mida.se... : I agree on the location issue (RAM vs. ROM), but the control over how : and when the code is executed is already a language issue I think. : We already have generics in the language wich controls how code should : be generated. We also have pragma Inline and representation pragmas : that controls the layout of code and data. So why couldn't we also : have pragma(s) to _hint_ to the compiler that this piece of code is : only used for initializing constants and is therefore NOT needed in : the runtime image if the compiler executes it. And, yes, I realize : that the analysis of the code may be to expensive and/or the : tradeoffs that have to be made may cause all this to be unusable. Actually, my company paid for such a pragma in the Tartan (now DDC-I) VAX/1750 cross-compiler. See the documentation for a description of pragma ROMable. (This turns out to be a nightmare to specify precisely, as you might expect, and I don't see an obvious path to making this a widely-adopted capability.)