From: vsnyder@vanpcjpl.nasa.gov (Van Snyder)
Subject: Re: Future Ada language revisions?
Date: 1998/10/21
Date: 1998-10-21T00:00:00+00:00 [thread overview]
Message-ID: <70lquh$mrp@netline.jpl.nasa.gov> (raw)
The reason that internal procedures can't be used for actual arguments seems
to revolve around the possibility that their "addresses" might be copied,
because when they appear as formal arguments they're "access to procedure"
with no additional restrictions. Right?
Could we have another annotation for access formal arguments that prohibits
using them for anything other than actual arguments, and dereferencing them?
Say, "limited"? This would loosen up the restrictions on actual arguments
that are procedures substantially.
--
What fraction of Americans believe | Van Snyder
Wrestling is real and NASA is fake? | vsnyder@math.jpl.nasa.gov
next reply other threads:[~1998-10-21 0:00 UTC|newest]
Thread overview: 49+ messages / expand[flat|nested] mbox.gz Atom feed top
1998-10-21 0:00 Van Snyder [this message]
1998-10-22 0:00 ` Future Ada language revisions? Robert A Duff
1998-10-21 0:00 ` Brian Rogoff
1998-10-23 0:00 ` Robert I. Eachus
1998-10-29 0:00 ` Robert A Duff
1998-10-30 0:00 ` Brian Rogoff
-- strict thread matches above, loose matches on Subject: below --
1998-09-27 0:00 bpr5549
1998-09-27 0:00 ` Larry Kilgallen
1998-09-27 0:00 ` Brian Rogoff
1998-09-28 0:00 ` dewarr
1998-09-28 0:00 ` Brian Rogoff
1998-09-29 0:00 ` Larry Kilgallen
1998-09-29 0:00 ` Michael F Brenner
1998-10-02 0:00 ` Fergus Henderson
1998-09-28 0:00 ` Michael F Brenner
1998-09-28 0:00 ` dewarr
1998-09-28 0:00 ` Arthur Evans Jr
1998-09-28 0:00 ` dewarr
1998-09-28 0:00 ` dewar
1998-10-05 0:00 ` Alfred Hilscher
1998-10-05 0:00 ` Tucker Taft
1998-10-05 0:00 ` dewarr
1998-10-06 0:00 ` Alfred Hilscher
1998-10-05 0:00 ` Brian Rogoff
1998-10-05 0:00 ` dewarr
1998-10-02 0:00 ` Robert I. Eachus
1998-10-03 0:00 ` Brian Rogoff
1998-10-05 0:00 ` dewarr
1998-10-04 0:00 ` Brian Rogoff
1998-10-05 0:00 ` Martin Dowie
1998-10-05 0:00 ` dewarr
1998-10-05 0:00 ` Niklas Holsti
1998-10-05 0:00 ` Martin Dowie
1998-10-06 0:00 ` dennison
1998-10-06 0:00 ` dennison
1998-10-06 0:00 ` dewarr
1998-10-06 0:00 ` Martin Dowie
1998-10-06 0:00 ` Martin Dowie
1998-10-06 0:00 ` r_barton1
1998-10-06 0:00 ` Matthew Heaney
1998-10-06 0:00 ` Robert I. Eachus
1998-10-06 0:00 ` Brian Rogoff
1998-10-07 0:00 ` dewarr
[not found] ` <tgmF02yDo.A84@netcom.com>
1998-10-06 0:00 ` Matthew Heaney
1998-10-08 0:00 ` dennison
1998-10-08 0:00 ` Brian Rogoff
1998-10-09 0:00 ` dennison
1998-10-08 0:00 ` Pat Rogers
1998-10-16 0:00 ` Robert A Duff
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox