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-Thread: a07f3367d7,5a88548f1bcf3510
X-Google-Attributes: gida07f3367d7,public,usenet
X-Google-NewGroupId: yes
X-Google-Language: ENGLISH,UTF8
Received: by 10.216.51.138 with SMTP id b10mr1267299wec.8.1353487540499;
        Wed, 21 Nov 2012 00:45:40 -0800 (PST)
Path: 
 ha8ni3879wib.1!nntp.google.com!feeder1.cambriumusenet.nl!feed.tweaknews.nl!94.232.116.13.MISMATCH!feed.xsnews.nl!border-3.ams.xsnews.nl!border3.nntp.ams.giganews.com!border1.nntp.ams.giganews.com!backlog1.nntp.dca.giganews.com!border3.nntp.dca.giganews.com!border1.nntp.dca.giganews.com!nntp.giganews.com!news.glorb.com!solaris.cc.vt.edu!news.vt.edu!newsfeed-00.mathworks.com!nntp.TheWorld.com!.POSTED!not-for-mail
From: Robert A Duff <bobduff@shell01.TheWorld.com>
Newsgroups: comp.lang.ada
Subject: Re: Overring function and its returned type
Date: Sat, 17 Nov 2012 14:11:22 -0500
Organization: The World Public Access UNIX, Brookline, MA
Message-ID: <wcc1ufsnixx.fsf@shell01.TheWorld.com>
References: <op.wnhvol1wule2fv@cardamome>
 <97a6946f-a707-4dd3-872b-9e851fcf9462@googlegroups.com>
 <cYydnSvuUM0cmzjNRVn_vwA@giganews.com>
 <62ba75d8-8a6c-4d75-be37-3322f683714d@googlegroups.com>
 <w--dnVaLevWLqTvNRVn_vwA@giganews.com>
 <8998c0eb-c9b1-4501-9163-94172aa4aea0@googlegroups.com>
 <op.wnwgtcqhule2fv@cardamome>
NNTP-Posting-Host: shell01.theworld.com
Mime-Version: 1.0
X-Trace: pcls6.std.com 1353179483 9347 192.74.137.71 (17 Nov 2012 19:11:23
 GMT)
X-Complaints-To: abuse@TheWorld.com
NNTP-Posting-Date: Sat, 17 Nov 2012 19:11:23 +0000 (UTC)
User-Agent: Gnus/5.1008 (Gnus v5.10.8) Emacs/21.3 (irix)
Cancel-Lock: sha1:X4yykcMX9hj09DPLZ/AH1/e5fi8=
X-Original-Bytes: 1835
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: 8bit
Date: 2012-11-17T14:11:22-05:00
List-Id: <comp.lang.ada>

"Yannick Duchêne (Hibou57)" <yannick_duchene@yahoo.fr> writes:

> Le Fri, 16 Nov 2012 16:27:37 +0100, Maciej Sobczak
> <see.my.homepage@gmail.com> a écrit:
>> An interesting property of Ada, and what makes this issue more
>> difficult  than in C++ is that Ada supports out parameters, which from
>> the language  design point of view should work like return values.
>
> But it is not the same as a returned value.

But it should be.

>... It may be like a return, it
> may be like an update, all depends on what the sub‑program do. May be a
> `return` mode is an idea…

- Bob