Re: OT: A bit of Sudoku

[Georg Bauhaus <rm-host.bauhaus@maps.futureapps.de>]

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;