Re: Ada2012 : Expression functions and extended return statements

[stefan-lucks@see-the.signature]

On Sat, 7 Jan 2012, Dmitry A. Kazakov wrote:

> On Sat, 7 Jan 2012 15:54:44 +0100, stefan-lucks@see-the.signature wrote:
> 
> >    function Characters(I: Integer; Filler: Character := '_') return String is
> >    begin
> >       return Result: String(1..I) := (others => Filler) do
> >         return;
> >       end return;
> >    end Characters;
> 
> OT: a return statement inside another return statement is funny.
> 
>    return X : Boolean := True do -- Illegal, I hope
>       return False;
>    end return;

This is a syntax error:

  extended_return_statement cannot return value; use ""return;""

-- 
---- Stefan.Lucks (at) uni-weimar.de, University of Weimar, Germany  ----
    <http://www.uni-weimar.de/cms/medien/mediensicherheit/home.html>
------  I  love  the  taste  of  Cryptanalysis  in  the  morning!  ------