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,4b89102f705d4611
X-Google-Attributes: gid103376,public
From: Robert Dewar <robert_dewar@my-deja.com>
Subject: Re: The Incredible Shrinking Type
Date: 2000/11/07
Message-ID: <8ua2vm$b8l$1@nnrp1.deja.com>#1/1
X-Deja-AN: 690989453
References: <3A0703F5.9333AE56@earthlink.net> <8u7gte$7ie$1@nnrp1.deja.com>
 <3A0816D4.E980EAFB@cadwin.com>
X-Http-Proxy: 1.0 x73.deja.com:80 (Squid/1.1.22) for client 166.72.71.31
Organization: Deja.com - Before you buy.
X-Article-Creation-Date: Tue Nov 07 23:24:45 2000 GMT
X-MyDeja-Info: XMYDJUIDrobert_dewar
Newsgroups: comp.lang.ada
X-Http-User-Agent: Mozilla/4.61 [en] (OS/2; I)
Date: 2000-11-07T00:00:00+00:00
List-Id: <comp.lang.ada>

In article <3A0816D4.E980EAFB@cadwin.com>,
  Nicolas Brunot <n.brunot@cadwin.com> wrote:

> and certainly not improve portability required by the RM.

The only thing that the RM has to say here is that portable
code must NOT assume anything about the size of parameters,
since there is no way to specify it!

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

Most portability problems in Ada are caused by bogus
assumptions of this kind. Yes it may be odd that the
parameter size is 64 rather than 128 here, but there
is definitely nothing in the RM that suggests otherwise
(let alone requiring otherwise).


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