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_20,FREEMAIL_FROM,
	INVALID_MSGID 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: Matt Brennan <zschub@hotmail.com>
Subject: Re: Constraint checking of actuals passed to Attributes
Date: 2000/05/10
Message-ID: <3918DAE6.F1B77A0D@hotmail.com>#1/1
X-Deja-AN: 621398855
Content-Transfer-Encoding: 7bit
References: <391250A8.99D1585C@hotmail.com> <39171B69.2F983487@averstar.com>
X-Accept-Language: en
Content-Type: text/plain; charset=us-ascii
Organization: Vision Systems Ltd
MIME-Version: 1.0
NNTP-Posting-Date: Wed, 10 May 2000 13:02:07 EST
Newsgroups: comp.lang.ada
Date: 2000-05-10T00:00:00+00:00
List-Id: <comp.lang.ada>

Tucker Taft wrote:
> 
> Implementations are not required to deal nicely with the unchecked
> conversion or binary input situation, but are required to at least
> "survive" the uninitialized variable situation in Ada 95.

Tucker (and all others),
			thanks for your views and references. It seems another grey,
'implementation defined' area to investigate more fully with our
compiler vendor...

Regards,

  Matt 

--
-- Matt Brennan || Vision Systems Ltd || +61 8 8300 4686
--