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=unavailable autolearn_force=no version=3.4.4
Path: 
 border2.nntp.dca.giganews.com!nntp.giganews.com!newspeer1.nac.net!feeder.erje.net!eu.feeder.erje.net!newsfeed.datemas.de!uucp.gnuu.de!newsfeed.arcor.de!newsspool2.arcor-online.net!news.arcor.de.POSTED!not-for-mail
Date: Fri, 06 Jun 2014 11:21:51 +0200
From: Georg Bauhaus <rm-host.bauhaus@maps.futureapps.de>
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.9;
 rv:24.0) Gecko/20100101 Thunderbird/24.5.0
MIME-Version: 1.0
Newsgroups: comp.lang.ada
Subject: Re: OT: A bit  of Sudoku
References: <d9OMQAHN2KkTFw2f@ada-augusta.demon.co.uk>
 <5365d3f0-43cc-47ef-989c-d47992c84c9f@googlegroups.com>
 <lmqeoe$o76$1@dont-email.me> <wccbnu73q88.fsf@shell01.TheWorld.com>
 <c0760c4e-8809-4c04-b454-3cd5bdc98538@googlegroups.com>
 <1l2x0kuk3kxqx$.1owim8xhlww7x.dlg@40tude.net>
In-Reply-To: <1l2x0kuk3kxqx$.1owim8xhlww7x.dlg@40tude.net>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
Message-ID: <53918830$0$6605$9b4e6d93@newsspool4.arcor-online.net>
Organization: Arcor
NNTP-Posting-Date: 06 Jun 2014 11:21:52 CEST
NNTP-Posting-Host: 826b205a.newsspool4.arcor-online.net
X-Trace: DXC=NM0mg`EPY92RLigj]; iP=84IUK<Cl32<14Fo<]lROoR18kF<OcfhCO; 3;
 :g8DCi>; 6nc\616M64>:Lh>_cHTX3j=>?od099nhB>
X-Complaints-To: usenet-abuse@arcor.de
Xref: number.nntp.dca.giganews.com comp.lang.ada:186758
Date: 2014-06-06T11:21:52+02:00
List-Id: <comp.lang.ada>

On 06/06/14 09:51, Dmitry A. Kazakov wrote:
> Or reduce overhead

Will there be less overhead if programmers can announce
some controlled jump, back to where "it" came from?
Subprograms to be called this way would have defaults
declared as necessary:

procedure Top
is
    type T is (yes, no, unknown);

    function Search return T
       with <> => (T'Result => Unknown);

    function Search return T
    is
       procedure Maybe
       is
       begin
          goto null;  -- jump
       end Maybe;

    begin
       Maybe;
       return yes;
    end Search;
    
    Result : T;
begin
    Result := Search with goto;  -- resume here
end Top;