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,
	MSGID_RANDY autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,e8c8d1c63ffacf0d
X-Google-Attributes: gid103376,public
From: Ted Dennison <dennison@telepath.com>
Subject: Re: Constraint checking of actuals passed to Attributes
Date: 2000/05/09
Message-ID: <8f9v2i$258$1@nnrp1.deja.com>#1/1
X-Deja-AN: 621277348
References: <391250A8.99D1585C@hotmail.com> <39171B69.2F983487@averstar.com>
 <8f93lm$1es$1@nnrp1.deja.com> <8f99gf$8eo$1@nnrp1.deja.com>
 <8f9a87$97r$1@nnrp1.deja.com> <8f9c45$be5$1@nnrp1.deja.com>
 <8f9sjg$v3t$1@nnrp1.deja.com>
X-Http-Proxy: 1.0 x37.deja.com:80 (Squid/1.1.22) for client 204.48.27.130
Organization: Deja.com - Before you buy.
X-Article-Creation-Date: Tue May 09 21:14:09 2000 GMT
X-MyDeja-Info: XMYDJUIDtedennison
Newsgroups: comp.lang.ada
X-Http-User-Agent: Mozilla/4.7 [en] (WinNT; I)
Date: 2000-05-09T00:00:00+00:00
List-Id: <comp.lang.ada>

In article <8f9sjg$v3t$1@nnrp1.deja.com>,
  Robert Dewar <robert_dewar@my-deja.com> wrote:
> Nope, that's not careful enough reading. The whole point of
> this section is to distinguish abnormal from other cases where
> values may be outside the subtype range. An uninitialized
> value is NOT abnorma. That's at the heart of the discussion

Ahh, I see. It looks like I mentally added an "ab" at an unfortunate
place in the first sentence of section 4.

> Confused? I am not surprised. I find this whole attempt to
> differentiate between these two states pretty ill-defined.

Horribly, yes. I'm not upset or grinding an axe here, just
curious and confused.

I still fail to see the reason for the distinction between a variable
that got hosed because an assignment was aborted and a variable that got
hosed because of an assignment to an inappropriate overlay on a
neighboring object. I can't think of any possible logical distinction,
other than that perhaps someone desparately wanted type-hosing overlays
to not be erronious anymore.

I guess you could say that the difference is that in the first case the
values it managed to put in were probably valid values, and the ones it
didn't were also valid; they just may not be valid together. But in the
second case the value really is completely undefined. But the other
listed "abnormailty" is when you get a garbage value from an imported
subprogram. So so much for that idea.

I mean, what's the difference *how* the garbage was achieved? The affect
of trying to work with it is what matters, and there is no difference I
can see there (no matter how you want to word the standard).

--
T.E.D.

http://www.telepath.com/~dennison/Ted/TED.html


Sent via Deja.com http://www.deja.com/
Before you buy.