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: a07f3367d7,73cb216d191f0fef
X-Google-Attributes: gida07f3367d7,public,usenet
X-Google-NewGroupId: yes
X-Google-Language: ENGLISH,ASCII-7-bit
X-Received: by 10.180.86.38 with SMTP id m6mr1711011wiz.0.1363918479232;
        Thu, 21 Mar 2013 19:14:39 -0700 (PDT)
Path: 
 p18ni6019wiv.0!nntp.google.com!feeder1.cambriumusenet.nl!82.197.223.108.MISMATCH!feeder2.cambriumusenet.nl!feed.tweaknews.nl!193.141.40.65.MISMATCH!npeer.de.kpn-eurorings.net!npeer-ng0.de.kpn-eurorings.net!border2.nntp.ams2.giganews.com!border1.nntp.ams2.giganews.com!border3.nntp.ams.giganews.com!border1.nntp.ams.giganews.com!nntp.giganews.com!newsreader4.netcologne.de!news.netcologne.de!news.albasani.net!usenet.pasdenom.info!dedibox.gegeweb.org!gegeweb.eu!nntpfeed.proxad.net!proxad.net!feeder2-2.proxad.net!newsfeed.arcor.de!newsspool3.arcor-online.net!news.arcor.de.POSTED!not-for-mail
Date: Sat, 16 Mar 2013 12:37:33 +0100
From: Georg Bauhaus <rm.dash-bauhaus@futureapps.de>
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.7;
 rv:17.0) Gecko/20130307 Thunderbird/17.0.4
MIME-Version: 1.0
Newsgroups: comp.lang.ada
Subject: Re: Is this expected behavior or not
References: <ki034o$6g6$1@munin.nbi.dk>
 <hiybjkhz3p5d.1x6dxfr1ptgcg.dlg@40tude.net>
 <1320854478385114328.944480rm-host.bauhaus-maps.arcor.de@news.arcor.de>
 <67810vo62ikk$.sn112ruycoaw.dlg@40tude.net>
In-Reply-To: <67810vo62ikk$.sn112ruycoaw.dlg@40tude.net>
Message-ID: <5144597d$0$6642$9b4e6d93@newsspool2.arcor-online.net>
Organization: Arcor
NNTP-Posting-Date: 16 Mar 2013 12:37:33 CET
NNTP-Posting-Host: 1bab3b10.newsspool2.arcor-online.net
X-Trace: 
 DXC=[lGDT;7Ib3DWDmlTRbh@=IA9EHlD;3YcB4Fo<]lROoRA8kF<OcfhCOKbnC6ml;X6jOPCY\c7>ejVHD1R:\REFAWL6BRLi\a>BaE
X-Complaints-To: usenet-abuse@arcor.de
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
Date: 2013-03-16T12:37:33+01:00
List-Id: <comp.lang.ada>

On 16.03.13 11:27, Dmitry A. Kazakov wrote:

>> And "contract" adds another source of lexical ambiguities.
>
> Source of lexical ambiguities? This sounds like an encoding problem.

It is a problem of semantics. Discussions ignited by a lack of definitions
that will unambiguously assign meaning to "contract".

>>> A. Positive is not a type. This is what Georg says. I have no idea what
>>> this is supposed to mean.
>>
>> It means what the RM says it means.
>
> Which is?

Randy said, in <khqpfb$b21$1@munin.nbi.dk>:
"the quote you [Dmitry] made from the RM says as much."

Positive is a KOVOA-type; Positive is a type-together-with in the
Ada 83 Rationale; the type of Positive is not Positive by the LRM.
"Is-a" and "is-not" are thus a contradiction if and only if one
mixes contexts. There are three contexts above. We have to decide
which context applies to 'Succ in an Ada program governed by the LRM.
For problems of using the language, I choose the language's RM.

I trust there is interest in a KOVOA draft of section 3, proposed
to Ada-Comment.

>> Subtype constraints are "weak" because in some contexts
>> that seemed what was needed.
>
> You read that from the RM?

I read what the inventor of the subtype, Ivan Godard, has had to say.
http://newsgroups.derkeiler.com/Archive/Comp/comp.arch/2012-08/msg00360.html