From: sean@graph.es.hac.com (Sean McNeil)
Subject: Re: Access to subprograms
Date: 1995/04/03
Date: 1995-04-03T00:00:00+00:00 [thread overview]
Message-ID: <SEAN.95Apr3094546@graph.es.hac.com> (raw)
In-Reply-To: D65sAw.3AI@inmet.camb.inmet.com
In article <D65sAw.3AI@inmet.camb.inmet.com> stt@spock.camb.inmet.com (Tucker Taft) writes:
> : |> 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 "+".
>
> : It's prohibited by RM95 6.3.1, paragraphs 4, 7, and 11. (Predefined "+"
> : operators have convention Intrinsic, and 'Access is prohibited for
> : subprograms with this convention.) Instead, you can write
>
> : function My_Wrapper (Left, Right: Integer) return Integer is
> : begin
> : return Left + Right;
> : end My_Wrapper;
>
[...]
Does a renamed Predefined "+" operator also have convention Intrinsic status?
i.e.
function My_Plus(Left, Right : Integer) return Integer renames "+";
I assume it is, but I'd thought I'd ask.
Sean McNeil
prev parent reply other threads:[~1995-04-03 0:00 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
1995-03-22 14:56 ` Norman H. Cohen
1995-03-28 16:25 ` Tucker Taft
1995-04-03 0:00 ` Sean McNeil [this message]
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox