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.9 required=5.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Thread: 103376,1a52c822fc0dbb23
X-Google-Attributes: gid103376,public
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news1.google.com!border1.nntp.dca.giganews.com!nntp.giganews.com!newsfeed00.sul.t-online.de!t-online.de!feeder.news-service.com!feeder1.cambrium.nl!feed.tweaknews.nl!amsnews11.chello.com!nuzba.szn.dk!news.jacob-sparre.dk!pnx.dk!not-for-mail
From: "Randy Brukardt" <randy@rrsoftware.com>
Newsgroups: comp.lang.ada
Subject: Re: Rational for not making cursor tagged in Containers
Date: Sat, 28 Apr 2007 21:31:41 -0500
Organization: Jacob's private Usenet server
Message-ID: <f10vuu$qbd$1@jacob-sparre.dk>
References: <1a8y2vakorfhx.225uqh4hifpd$.dlg@40tude.net>
   <1177066583.5876.30.camel@localhost.localdomain>
 <pioojxhb01th.lq5kuqqdsatm.dlg@40tude.net>
 <1177080147.5876.87.camel@localhost.localdomain>
 <1q1kx2jlcvnuj.ck0711mj4few$.dlg@40tude.net>
 <1177097829.26685.36.camel@localhost.localdomain>
 <r1i3l1obiuh2.bzysc6relxh5.dlg@40tude.net>
 <wcc7is6zrs9.fsf@shell01.TheWorld.com>
 <95wmj9goo6wc$.13f1j4dnadwws$.dlg@40tude.net>
 <1177349886.343834.295210@q75g2000hsh.googlegroups.com>
 <y8trvxn2infn.1sxko1eegl1xj$.dlg@40tude.net>
 <1177373706.552914.71270@q75g2000hsh.googlegroups.com>
 <1ccueevyp8oba.11c8wwyujtw1o$.dlg@40tude.net>
 <1177432057.705889.229690@n35g2000prd.googlegroups.com>
 <1op3ml5q11aa$.vg0a2lyc9dpv$.dlg@40tude.net>
 <1177549092.325163.326870@b40g2000prd.googlegroups.com>
 <1ukuo9arhsjuu.1xhbhqzroadfz.dlg@40tude.net>
 <t71wi78slr.fsf@hod.lan.m-e-leypold.de>
 <1szfxh3ov5lwz$.8x7y43lxxn24$.dlg@40tude.net>
 <epirbirqtd.fsf@hod.lan.m-e-leypold.de>
 <zp8f8yxaqal5.xmxbdrzopa73$.dlg@40tude.net>
NNTP-Posting-Host: static-69-95-181-76.mad.choiceone.net
X-Trace: jacob-sparre.dk 1177813790 26989 69.95.181.76 (29 Apr 2007 02:29:50
 GMT)
X-Complaints-To: news@jacob-sparre.dk
NNTP-Posting-Date: Sun, 29 Apr 2007 02:29:50 +0000 (UTC)
X-Priority: 3
X-MSMail-Priority: Normal
X-Newsreader: Microsoft Outlook Express 6.00.2800.1807
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2800.1807
Xref: g2news1.google.com comp.lang.ada:15393
Date: 2007-04-28T21:31:41-05:00
List-Id: <comp.lang.ada>

"Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> wrote in message
news:zp8f8yxaqal5.xmxbdrzopa73$.dlg@40tude.net...
> On Fri, 27 Apr 2007 13:37:34 +0200, Markus E Leypold wrote:
...
> > We just have to assume that anybody knows when two
> > values are equal.
>
> And this is supposed to be the definition of?

It's not quite that bad, but it is close; see 4.5.2(10):

"For discrete types, the predefined relational operators are defined in
terms of corresponding mathematical operations on the position numbers of
the values of the operations."

It surely has nothing to do with bit patterns, but rather the mathematical
meaning of those bit patterns. The RM hands off "mathematical meaning" to
another reference.

In any case, Dmitry seems to be using his own terminology again; that can be
a issue when others of us are using the terminology defined in the RM.
Without a common terminology, it's very hard to have a reasonable discourse.
Even if we're talking about an Ada-like language rather than Ada itself, it
helps to stick to the terminology of the RM.

"Value" is one of the concepts that the RM does not try to define (which
doesn't help this discussion), although it uses the term a lot. In such a
case, it is supposed to have the conventional meaning associated with the
term in English - so I don't think it is possible to completely settle
this... ;-)

                                   Randy.