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=0.7 required=5.0 tests=BAYES_00,INVALID_DATE,
	MSGID_SHORT,REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no
	version=3.4.4
Path: utzoo!utgpu!news-server.csri.toronto.edu!mailrus!uunet!lll-winken!cs!erickson
From: erickson@cs.nps.navy.mil (David Erickson)
Newsgroups: comp.lang.ada
Subject: Re: limited private types, "=" operator
Message-ID: <1199@cs.nps.navy.mil>
Date: 10 Aug 90 16:20:58 GMT
References: <1152@cs.nps.navy.mil> <CLAY.90Aug9121901@clio.titan.tsd.arlut.utexas.edu>
Reply-To: erickson@cs.nps.navy.mil (David Erickson)
Organization: Naval Postgraduate School, Monterey CA
List-Id: <comp.lang.ada>

In article <CLAY.90Aug9121901@clio.titan.tsd.arlut.utexas.edu> clay@titan.tsd.arlut.utexas.edu (Clay Johnson) writes:
>In article <1152@cs.nps.navy.mil> erickson@cs.nps.navy.mil (David Erickson) writes:
>
>>   Is there any way to define "=" for a limited private type which is an
>>   access type (which may be null)?  

>I have not done so, but you should be able to `dereference' the "="
>that appears within your overloaded "=" function by using the dotted
>notation, ... 

>	if STANDARD."="(POINTER,null) then ...

>Let me know if this works,
>Clay

This will not work.  As I noted in a previous posting, the basic operators
for a type (including "=") are implicitly defined immediately after the
type declaration, rather than in STANDARD.

-Dave Erickson