From: tmoran@bix.com (Tom Moran)
Subject: Re: Problem with controlled types
Date: 1998/12/14
Date: 1998-12-14T00:00:00+00:00 [thread overview]
Message-ID: <36755ef7.359303@news.pacbell.net> (raw)
In-Reply-To: m367beshjr.fsf@mheaney.ni.net
>An operation cannot be primitive for more that one type is only true for
>(publicly) tagged types. Since A and B and not publically tagged,
>Get_B is a legal operation.
Interesting. Then
procedure P(x: in A; y: in B);
would be legal? What would it do?
next prev parent reply other threads:[~1998-12-14 0:00 UTC|newest]
Thread overview: 6+ messages / expand[flat|nested] mbox.gz Atom feed top
1998-12-14 0:00 Problem with controlled types bourguet
1998-12-14 0:00 ` Matthew Heaney
1998-12-14 0:00 ` Tucker Taft
1998-12-14 0:00 ` Robert I. Eachus
1998-12-14 0:00 ` Tom Moran [this message]
1998-12-14 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