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.9 required=5.0 tests=BAYES_00 autolearn=ham autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,5265ce03ee8f5252 X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2001-01-05 13:27:20 PST Path: supernews.google.com!sn-xit-02!supernews.com!news.gv.tsc.tdk.com!news.iac.net!news-out.cwix.com!newsfeed.cwix.com!newsengine.sol.net!newsfeeds.sol.net!news.execpc.com!newspeer.sol.net!homer.alpha.net!not-for-mail From: "Randy Brukardt" Newsgroups: comp.lang.ada References: <931r2l$4ai5t$2@ID-25716.news.dfncis.de> <931t08$5u5$1@nnrp1.deja.com> <932632$e0e$1@nnrp1.deja.com> <932an8$ijs$1@nnrp1.deja.com> <93421h$2ju$1@nnrp1.deja.com> <934j5c$eu9$1@nnrp1.deja.com> Subject: Re: Ok sorry, it is just a book gives no feedback. X-Newsreader: Microsoft Outlook Express 4.72.3612.1700 X-MimeOLE: Produced By Microsoft MimeOLE V4.72.3719.2500 Message-ID: Date: Fri, 5 Jan 2001 15:23:47 -0600 NNTP-Posting-Host: 156.46.62.124 X-Complaints-To: abuse@alpha.net X-Trace: homer.alpha.net 978729977 156.46.62.124 (Fri, 05 Jan 2001 15:26:17 CST) NNTP-Posting-Date: Fri, 05 Jan 2001 15:26:17 CST Xref: supernews.google.com comp.lang.ada:3697 Date: 2001-01-05T15:23:47-06:00 List-Id: Robert Dewar wrote in message <934j5c$eu9$1@nnrp1.deja.com>... >In article <93421h$2ju$1@nnrp1.deja.com>, >That's the point, it is easy to make vague statements about >"side effects considered harmful", but it is quite another to >rigorously define what you mean by side effects. > >You do NOT want to tell people that instrumenting functions is >for some peculiar reason undesirable, or that memo functions >are undesirable (though of course in the multi-tasking case, >you have to worry about reentrancy in both these cases). Indeed, that is why pragma Pure is so hard to use in practice: because you can't instrument or otherwise debug code controlled by it. About all you can do is remove the pragma, but that often makes the clients of the package illegal. Thus debugging these things can be horrible. Randy.