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
Date: 4 Jul 93 16:49:21 GMT [thread overview]
Message-ID: <memo.398290@cix.compulink.co.uk> (raw)
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
next reply other threads:[~1993-07-04 16:49 UTC|newest]
Thread overview: 5+ messages / expand[flat|nested] mbox.gz Atom feed top
1993-07-04 16:49 Simon Wright [this message]
-- strict thread matches above, loose matches on Subject: below --
1993-07-02 7:00 Elaboration and parameters Richard A. O'Keefe
1993-06-29 23:20 Risto Kaivola
1993-06-29 21:06 Gene Ouye
1993-06-29 19:51 cis.ohio-state.edu!math.ohio-state.edu!howland.reston.ans.net!noc.near.ne
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox