From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.5-pre1 (2020-06-20) on
	ip-172-31-74-118.ec2.internal
X-Spam-Level: 
X-Spam-Status: No, score=-0.0 required=3.0 tests=BAYES_20 autolearn=ham
	autolearn_force=no version=3.4.5-pre1
Date: 22 Dec 92 23:55:57 GMT
From: clsi!paulg@uunet.uu.net  (Paul Graham)
Subject: Subtype check on RETURN statement
Message-ID: <PAULG.92Dec22155557@algol.clsi.COM>
List-Id: <comp.lang.ada>

Why is it that the subtype of a RETURNed expression must match the
return subtype of the containing function, without allowing for an
implicit array subtype conversion?  That is, why are the rules for the
RETURN statement different from the corresponding rules for a variable
assignment?

Paul Graham	(paulg@clsi.com)
--
Paul Graham			(paulg@clsi.com, support@clsi.com)
CAD Language Systems, Inc.	410-992-5700