comp.lang.ada
 help / color / mirror / Atom feed
From: stt@henning.camb.inmet.com (Tucker Taft)
Subject: Re: Access to subprograms
Date: Tue, 21 Mar 1995 14:47:18 GMT
Date: 1995-03-21T14:47:18+00:00	[thread overview]
Message-ID: <D5sp2v.Fvp@inmet.camb.inmet.com> (raw)
In-Reply-To: FRED.95Mar20101937@play.uno

Fred Hosch (fred@play.uno) wrote:

: From my casual and uninformed reading of the RM, it 
: seems that something like "+"'Access is legal, even,
: heaven forbid, for a predefined instance of "+".

No, 'Access is not permitted for subprograms with an "intrinsic"
calling convention, which includes all implicitly declared subprograms,
which includes all predefined operators. 

(To be honest ;-), implicitly declared dispatching operations 
*do* allow 'Access, since these need to exist as separately 
callable subprograms anyway to support dispatching -- and
this includes the predefined "=" on tagged types.)

: Can anyone provide a pointer?

See RM95 3.10.2(32), 6.3.1(4-11).

: Fred Hosch					fred@cs.uno.edu
: Computer Science Department			(504)-286-6594
: University of New Orleans			(504)-286-7228 (fax)
: New Orleans, LA	 70148

-Tucker Taft  stt@inmet.com
Intermetrics, Inc.



  parent reply	other threads:[~1995-03-21 14:47 UTC|newest]

Thread overview: 6+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
1995-03-20 16:19 Access to subprograms Fred Hosch
1995-03-21 11:12 ` Robert Dewar
1995-03-21 14:47 ` Tucker Taft [this message]
1995-03-22 14:56 ` Norman H. Cohen
1995-03-28 16:25   ` Tucker Taft
1995-04-03  0:00     ` Sean McNeil
replies disabled

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