From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.3 required=5.0 tests=BAYES_00,INVALID_MSGID
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,3c256edee673e6
X-Google-Attributes: gid103376,public
From: tmoran@bix.com (Tom Moran)
Subject: Re: Problem with controlled types
Date: 1998/12/14
Message-ID: <36755ef7.359303@news.pacbell.net>#1/1
X-Deja-AN: 422207009
References: <753cnv$3sq$1@nnrp1.dejanews.com> <m367beshjr.fsf@mheaney.ni.net>
X-Complaints-To: abuse@pacbell.net
X-Trace: typhoon-sf.snfc21.pbi.net 913661771 206.170.24.63 (Mon,
 14 Dec 1998 10:56:11 PDT)
Organization: SBC Internet Services
NNTP-Posting-Date: Mon, 14 Dec 1998 10:56:11 PDT
Newsgroups: comp.lang.ada
Date: 1998-12-14T00:00:00+00:00
List-Id: <comp.lang.ada>

>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?