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: 4 Jul 93 16:49:21 GMT
From: agate!usenet.ins.cwru.edu!howland.reston.ans.net!torn!nott!bnrgate!bnr.co
.uk!demon!cix.compulink.co.uk!sjwright@ucbvax.Berkeley.EDU  (Simon Wright)
Subject: Re: Elaboration and parameters
Message-ID: <memo.398290@cix.compulink.co.uk>
List-Id: <comp.lang.ada>

References: <20650@goanna.cs.rmit.oz.au>
X-Newsreader: TIN [version 1.1 PL6]

Richard A. O'Keefe (ok@goanna.cs.rmit.oz.au) wrote:
> In article <rkaivola.741367993@mits>, rkaivola@mits.mdata.fi (Risto Kaivola) 
writes:
> > 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.

Ada/Ed 1.7.3 (Amiga version) runs fine; the output is `E'.

--
Simon Wright
Ferranti International, Defence Systems Integration