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.3 required=5.0 tests=BAYES_00,
	REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!mx02.eternal-september.org!.POSTED!not-for-mail
From: "G.B." <bauhaus@futureapps.invalid>
Newsgroups: comp.lang.ada
Subject: Re: Vulkan is here!
Date: Fri, 19 Feb 2016 14:14:36 +0100
Organization: A noiseless patient Spider
Message-ID: <na74ab$d57$1@dont-email.me>
References: <bf1c421d-0fce-417a-8ace-c5f1581b7597@googlegroups.com>
 <483697966.477441353.121801.laguest-archeia.com@nntp.aioe.org>
 <a04d93e9-31c1-4e2a-b21f-abd82b5123e3@googlegroups.com>
 <644893903.477451006.819824.laguest-archeia.com@nntp.aioe.org>
 <21d9eacd-1915-4da6-8778-31014be1498f@googlegroups.com>
 <t7oxy.1270324$_n7.649284@fx26.fr7> <lysi0pmwoe.fsf@pushface.org>
 <56C6A4A8.40209@bahnhof.se> <lyoabdm7qn.fsf@pushface.org>
 <3952198b-d66e-473b-b285-cedd2a628ec8@googlegroups.com>
 <lyk2m0nbw2.fsf@pushface.org>
Reply-To: nonlegitur@futureapps.de
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Fri, 19 Feb 2016 13:11:39 -0000 (UTC)
Injection-Info: mx02.eternal-september.org;
 posting-host="b96887e80893c84a90c3007226ca0d1c";
	logging-data="13479"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX1/1YJoLk1RnKkDMWhwRJwrc9pUNv232AWk="
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.10; rv:38.0)
 Gecko/20100101 Thunderbird/38.5.1
In-Reply-To: <lyk2m0nbw2.fsf@pushface.org>
Cancel-Lock: sha1:Gts4IZWbptmaRHALvRmkzj17D+E=
Xref: news.eternal-september.org comp.lang.ada:29548
Date: 2016-02-19T14:14:36+01:00
List-Id: <comp.lang.ada>

On 19.02.16 13:05, Simon Wright wrote:
> As an alternative translation, which allows the compiler to decide,

To let the compiler decide seems the Right Thing, insofar
as this also reflects what C's int types are about. Of course,
neither the C implementation nor the Ada implementation are
free to decide at whim, because either language's type system
has requirements for, respectively, int and Integer etc.

There's also System.Word_Size on the Ada side; maybe the Ada
compiler docs inform about the relation of that static constant
to the (auto-convertible) C expression "~0" in context, allowing
the definition of matching Ada types, or finding potential
width errors in pre-C99 stdint C use.