comp.lang.ada
 help / color / mirror / Atom feed
From: dewar@merv.cs.nyu.edu (Robert Dewar)
Subject: Re: How do functions return unbounded arrays?
Date: 1998/06/21
Date: 1998-06-21T00:00:00+00:00	[thread overview]
Message-ID: <dewar.898439819@merv> (raw)
In-Reply-To: 35879C27.634A3E0@praxis-cs.co.uk


<<In Ada83, things which you "expect the compiler to handle statically" often
aren't.  Some compilers are better at spotting static expressions
above-and-beyond
what is strictly required by the Ada83 LRM (e.g. XD-Ada).  Some stick more
closely
to the letter of the law and generate more dynamic code for expressions even if
they
_could_ be evaluated statically (e.g. the "old" Alsys technology)
>>


Please do not use confusing terminbology. There are no "static expressions"
other than those defined in the RM (83 or 95). Both Ada 83 and Ada 95
compilers may recognize some expressions (e.g. 'Size applied to a simple
statically declared record type) as compile time evaluable, but these
should NOT under any circumstances be referred to as static expressions!





  parent reply	other threads:[~1998-06-21  0:00 UTC|newest]

Thread overview: 15+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
1998-06-14  0:00 How do functions return unbounded arrays? Markus Kuhn
1998-06-14  0:00 ` Robert A Duff
1998-06-15  0:00 ` John Herro
     [not found]   ` <35865075.9D7DCBD@cl.cam.ac.uk>
1998-06-17  0:00     ` Matthew Heaney
1998-06-21  0:00       ` Robert Dewar
1998-06-17  0:00     ` Gavin Finnie
1998-06-17  0:00       ` Rod Chapman
1998-06-21  0:00         ` Robert Dewar
1998-06-21  0:00         ` Robert Dewar [this message]
1998-06-21  0:00       ` Robert Dewar
1998-06-18  0:00     ` Mats Weber
1998-06-21  0:00       ` Robert Dewar
1998-06-17  0:00   ` Mark D. McKinney
1998-06-17  0:00   ` Matthew Heaney
1998-06-21  0:00   ` Robert Dewar
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox