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.3 required=5.0 tests=BAYES_00,INVALID_MSGID
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,965fbd9798ca1677,start
X-Google-Attributes: gid103376,public
From: Brian Rogoff <bpr@shell5.ba.best.com>
Subject: Return by reference
Date: 1999/11/01
Message-ID: <Pine.BSF.4.10.9911011705320.5772-100000@shell5.ba.best.com>#1/1
X-Deja-AN: 543326033
X-Trace: nntp1.ba.best.com 941505979 229 bpr@206.184.139.136
Content-Type: TEXT/PLAIN; charset=US-ASCII
MIME-Version: 1.0
Newsgroups: comp.lang.ada
Date: 1999-11-01T00:00:00+00:00
List-Id: <comp.lang.ada>

I understand why, for a return-by-reference type T, the function 

function Some_Func( ... ) return T is 
    Local_Var : T
begin
    ...
    return Local_Var;
end Some_Func;

causes Program_Error to be raised at run time, but I'm a bit 
perplexed as to why there is a problem for 

function Some_Func( Param : T; ... ) return T is
begin
    ...
    return Param;
end Some_Func;

Could someone explain why the latter case is problematic? 

-- Brian