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=-1.9 required=3.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.5-pre1
Date: 2 Jul 93 07:00:37 GMT
From: munnari.oz.au!goanna!ok@uunet.uu.net  (Richard A. O'Keefe)
Subject: Re: Elaboration and parameters
Message-ID: <20650@goanna.cs.rmit.oz.au>
List-Id: <comp.lang.ada>

In article <rkaivola.741367993@mits>, rkaivola@mits.mdata.fi (Risto Kaivola) wr
ites:
> procedure PROC is
...
>   procedure CURIOUS(ARG : S) is separate;
> begin
>   CURIOUS(EXCEPT(A));
...
> end PROC;
 
> So, are the parameters of a subprogram evaluated if a body has
> not been provided?

Ada/Ed won't let me run this.  In order to run a program, I first have to
bind it, and if it thinks I'm using a subprogram it demands that there
_must_ be a body.  Is that valid behaviour?  I do hope so; the point of
using Ada is to learn about build errors _early_.

-- 
Richard A. O'Keefe; ok@goanna.cs.rmit.oz.au; RMIT, Melbourne, Australia.