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
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,4b89102f705d4611
X-Google-Attributes: gid103376,public
From: Nicolas Brunot <n.brunot@cadwin.com>
Subject: Re: The Incredible Shrinking Type
Date: 2000/11/08
Message-ID: <3A091116.75D56C2A@cadwin.com>#1/1
X-Deja-AN: 691120397
Content-Transfer-Encoding: 7bit
References: <3A0703F5.9333AE56@earthlink.net> <8u7gte$7ie$1@nnrp1.deja.com>
 <3A0816D4.E980EAFB@cadwin.com> <8ua2vm$b8l$1@nnrp1.deja.com>
X-Accept-Language: fr
Content-Type: text/plain; charset=us-ascii
X-Complaints-To: abuse@proxad.net
X-Trace: nnrp4.proxad.net 973672754 212.27.49.21 (Wed,
 08 Nov 2000 09:39:14 CET)
Organization: Guest of ProXad - France
MIME-Version: 1.0
NNTP-Posting-Date: Wed, 08 Nov 2000 09:39:14 CET
Newsgroups: comp.lang.ada
Date: 2000-11-08T00:00:00+00:00
List-Id: <comp.lang.ada>

> <So there is definitely no portability requirement here, (other than
> to avoid making the assumptions).>

Nobody said that, except you justifying type shrinking by RM requiring
portability ...

> <Yes it may be odd that the parameter size is 64 rather than 128 here>

Odd is not the right word, unexpected, unsafe or illogical would be more
appropriate

> <is definitely nothing in the RM that suggests otherwise (let alone
> requiring otherwise).>

Right, the "normal" behavior (without shrinking) would just be suggested
by common sense, and also ... by gnat documentation itself ...