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,f3437064e1091fec X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2003-07-16 01:34:55 PST Path: archiver1.google.com!news1.google.com!newsfeed.stanford.edu!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!newsfeed.icl.net!newsfeed.fjserv.net!feed.news.nacamar.de!fu-berlin.de!uni-berlin.de!tar-alcarin.cbb-automation.DE!not-for-mail From: Dmitry A. Kazakov Newsgroups: comp.lang.ada Subject: Re: What evil would happen? Date: Wed, 16 Jul 2003 10:36:12 +0200 Message-ID: References: <5ad0dd8a.0307111151.4a08f95a@posting.google.com> <5ad0dd8a.0307150019.5370f3a3@posting.google.com> NNTP-Posting-Host: tar-alcarin.cbb-automation.de (212.79.194.111) Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit X-Trace: news.uni-berlin.de 1058344494 11055823 212.79.194.111 (16 [77047]) X-Newsreader: Forte Agent 1.8/32.548 Xref: archiver1.google.com comp.lang.ada:40332 Date: 2003-07-16T10:36:12+02:00 List-Id: On Tue, 15 Jul 2003 12:33:12 -0500, "Randy Brukardt" wrote: >I've never heard of any real support for that. Functions in Ada have >side-effects and that is not going to change (else virtually all existing >Ada code would cease to work). There is no point in having value-returning >procedures which are identical to functions with side-effects -- that's just >an extra complication. There is one. One could impose additional restrictions on procedures with results, which do not apply to functions: 1. The call order is as-is 2. No call is allowed to be optimized out --- Regards, Dmitry Kazakov www.dmitry-kazakov.de