Re: anonymous records as tuples

[Robert Eachus <rieachus@comcast.net>]

On Monday, March 12, 2018 at 1:32:46 PM UTC-4, Stephen Leake wrote:
> I recently had to change a function that returned a single integer into a procedure that returns two...

What is wrong with something like:

-- in Tree:

type Return_Values is record
   Real : Integer; 
   Virtual : Integer;
end record;

function Count_Terminals (Index...) return Return_Values;
...

declare 
  Returned: constant Tree.Return_Values := Tree.Count_Terminals(Index);
  Real: Integer renames Returned.Real;
  Virtual: Integer renames Returned.Virtual;
begin 
  if Virtual = 0 then 
     Next_Shared_Token := Next_Shared_Token - Real; 
  end if;
end;

Declaring Returned as a constant is optional.  (And declaring Real as an Integer really rubs me wrong.  But this is a example...)