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,f1111f1bf805022b
X-Google-Attributes: gid103376,public
From: Robert Dewar <robert_dewar@my-deja.com>
Subject: Re: Unconstrained type Unchecked_Deallocation
Date: 2000/04/06
Message-ID: <8cica0$1iu$1@nnrp1.deja.com>#1/1
X-Deja-AN: 607593947
References: <lup5csoc69dj9ko2q7fbdduf8n0i4h09ll@4ax.com>
 <8a0h55$qc5$1@nnrp1.deja.com> <38C3D82F.C9F81832@bton.ac.uk>
 <38C566CE.6283C0AD@rational.com> <8a6f5s$5st$1@nnrp1.deja.com>
 <38EBAAD6.3EA21F14@earthlink.net>
X-Http-Proxy: 1.0 x23.deja.com:80 (Squid/1.1.22) for client 205.232.38.14
Organization: Deja.com - Before you buy.
X-Article-Creation-Date: Thu Apr 06 16:00:11 2000 GMT
X-MyDeja-Info: XMYDJUIDrobert_dewar
Newsgroups: comp.lang.ada
X-Http-User-Agent: Mozilla/4.61 [en] (OS/2; I)
Date: 2000-04-06T00:00:00+00:00
List-Id: <comp.lang.ada>

In article <38EBAAD6.3EA21F14@earthlink.net>,
  "Robert I. Eachus" <rieachus@earthlink.net> wrote:
>     type Foo is access Bar;
>     function UC is new Unchecked_Conversion(Foo, Integer);
>
>    Now try to port the code to an Ada implementation where
> Integer is 16
> bits.  You think you
> can just redefine UC, but it is not that easy.


This is complete nonsense as far as I am concerned. The
difficulty of conversion here is completely unaffected by
whether the unchecked conversion is in the body or in the
spec. In either case we have conversions that must be dealt
with, and the set of problems is identical in the two cases.

The *only* difference is in whether stuff has to be recompiled
or not, and even this does not apply if there is a pragma
Inline around. Otherwise it makes no semantic difference
AT ALL whether the UC is in the spec or body.

Calling it unchecked_perversion does not make an argument :-)


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