From: jsa@alexandria (Jon S Anthony)
Subject: Re: Primitive Operations Question
Date: 1996/07/31
Date: 1996-07-31T00:00:00+00:00 [thread overview]
Message-ID: <JSA.96Jul31190537@alexandria> (raw)
In-Reply-To: 31FE812C.7B3D@ix.netcom.com
In article <31FE812C.7B3D@ix.netcom.com> Vance Christiaanse <cintech@ix.netcom.com> writes:
> (GNAT 3.04) compiler. By my reading of RM95 3.2.3, A and B don't
> fit any part of the definition of primitive operations, so I
Au contraire, see 3.2.3 in general and (6) in particular along with
3.4 in general and (17)&(23) in particular. This sort of behavior
for non tagged types was in Ada83.
> type My_Digit is range 0..7;
> procedure A (V : My_Digit);
>
> type New_Digit is new My_Digit; -- is A inherited???
Yes
> procedure B (W : New_Digit);
>
> N : New_Digit := 1;
>
> type Newer_Digit is new New_Digit; -- is B inherited???
Yes, and not only that, so is A.
/Jon
--
Jon Anthony
Organon Motives, Inc.
1 Williston Road, Suite 4
Belmont, MA 02178
617.484.3383
jsa@organon.com
next prev parent reply other threads:[~1996-07-31 0:00 UTC|newest]
Thread overview: 10+ messages / expand[flat|nested] mbox.gz Atom feed top
1996-07-30 0:00 Primitive Operations Question Vance Christiaanse
1996-07-31 0:00 ` Tucker Taft
1996-07-31 0:00 ` Samuel Tardieu
1996-07-31 0:00 ` Robert A Duff
1996-07-31 0:00 ` Vance Christiaanse
1996-08-01 0:00 ` Robert A Duff
1996-08-01 0:00 ` Vance Christiaanse
1996-07-31 0:00 ` Jon S Anthony [this message]
1996-08-01 0:00 ` Jon S Anthony
1996-08-01 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