Ada2012 : Expression functions and extended return statements

[Martin <martin@thedowies.com>]

Am I correct in thinking these 2 parts of the language can't be
'mixed'?...

There doesn't seem to be anything that allows anything like, e.g.

package Foo is
   type T (<>) is tagged private;
   function Create return T is
      (Result : T do Result.I := 1);
private
   type T is tagged record
      I : Integer;
   end record;
end Foo;

Also, on the topic of extended return statements...

What's the rational for having to explicitly repeat the return type?
Seems rather redundant to my eyes. I wouldn't have minded:

function Bar return Some_Type is
begin
   return Result : <> do
      -- something to initialise 'Result'
   end return;
end Bar;

or even

function Bar return Some_Type is
begin
   return Result do
      -- something to initialise 'Result'
   end return;
end Bar;

In this case, 'Result' can't be anything other than of type
'Some_Type' can it?

-- Martin