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,56250291936154a0
X-Google-Attributes: gid103376,public
From: Robert Dewar <robert_dewar@my-deja.com>
Subject: Re: OS Bindings (was: Where is the elusive jump command?)
Date: 2000/04/12
Message-ID: <8d2dfo$28u$1@nnrp1.deja.com>#1/1
X-Deja-AN: 610285262
References: <38D771CA.D41AF9B5@port.ac.uk> <wcczorkm4tl.fsf@world.std.com>
 <wyVD4.17218$624.1463963@news.flash.net> <8bq7ku$mc8$1@nnrp1.deja.com>
 <mp2E4.17360$624.1487865@news.flash.net> <38E0E723.C39C392@quadruscorp.com>
 <8brfm4$4uc$1@nnrp1.deja.com> <8brn4k$p6i$1@slb0.atl.mindspring.net>
 <8brrpj$i04$1@nnrp1.deja.com> <38E312F8.78883ACB@icn.siemens.de>
 <8c4rvf$d9k$1@nnrp1.deja.com> <umqvh1wnaad.fsf@gong2.clustra.com>
 <2000Apr5.070127.1@eisner> <umq8zyrmzgp.fsf@gong2.clustra.com>
 <2000Apr6.081305.1@eisner> <8ci6vf$r5a$1@nnrp1.deja.com>
 <8ck638$krs3@ftp.kvaerner.com> <8cp23c$4gp$1@nnrp1.deja.com>
 <8csjs8$o2p3@ftp.kvaerner.com> <8d0su8$bqt$1@nnrp1.deja.com>
 <8d1ocu$5n31@ftp.kvaerner.com>
X-Http-Proxy: 1.0 x39.deja.com:80 (Squid/1.1.22) for client 205.232.38.14
Organization: Deja.com - Before you buy.
X-Article-Creation-Date: Wed Apr 12 17:58:27 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-12T00:00:00+00:00
List-Id: <comp.lang.ada>

In article <8d1ocu$5n31@ftp.kvaerner.com>,
  "Tarjei T. Jensen" <tarjei.jensen@kvaerner.com> wrote:
> My point is not that the modular types are not useful, but
> that they are inapropriately used. The definitions of the
> various unsigned types in interfaces and interfaces.C are not
> apropriate.

I disagree, unsigned in C *is* a modular type, you are saying
that it is often used in ways that do not take advantage of
the modular semantics, but for sure the modular type of Ada
is the right mapping, since it has identical semantics to the
C type. It would be quite wrong to map this into a non-modular
type, since in the general case, the wrapping semantics of
unsigned in C may be critical in a particular interface
situation.



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