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.6 required=5.0 tests=BAYES_40,INVALID_MSGID
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,7471346918e7cdd7
X-Google-Attributes: gid103376,public
From: Phani Putrevu <pputrevu@ececs.uc.edu>
Subject: Limited types
Date: 1998/05/22
Message-ID: <3564E39E.B8D445B0@ececs.uc.edu>#1/1
X-Deja-AN: 355429637
Content-Transfer-Encoding: 7bit
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Organization: University of Cincinnati, ECE/CS News Server
Newsgroups: comp.lang.ada
Date: 1998-05-22T00:00:00+00:00
List-Id: <comp.lang.ada>


Hi,

very basic question :

How  exactly is limited type defined.. In the glossary of the on-line
RM, limited type is defined as a type for which the assignment operator
is not defined. What about the equality operator?  In the operators
section,  it is told that equality and inequality operators are
predefined for nonlimited types.  Does this follow from the assignment
operator not being allowed.

Thanks a lot,

Phani