comp.lang.ada
 help / color / mirror / Atom feed
From: munnari.oz.au!goanna!ok@uunet.uu.net  (Richard A. O'Keefe)
Subject: Re: Elaboration and parameters
Date: 2 Jul 93 07:00:37 GMT	[thread overview]
Message-ID: <20650@goanna.cs.rmit.oz.au> (raw)

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.

             reply	other threads:[~1993-07-02  7:00 UTC|newest]

Thread overview: 5+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
1993-07-02  7:00 Richard A. O'Keefe [this message]
  -- strict thread matches above, loose matches on Subject: below --
1993-07-04 16:49 Elaboration and parameters Simon Wright
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