From: "G.B." <bauhaus@futureapps.invalid>
Subject: Re: Vulkan is here!
Date: Fri, 19 Feb 2016 14:14:36 +0100
Date: 2016-02-19T14:14:36+01:00 [thread overview]
Message-ID: <na74ab$d57$1@dont-email.me> (raw)
In-Reply-To: <lyk2m0nbw2.fsf@pushface.org>
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.
next prev parent reply other threads:[~2016-02-19 13:14 UTC|newest]
Thread overview: 30+ messages / expand[flat|nested] mbox.gz Atom feed top
2016-02-17 15:37 Vulkan is here! olivier.henley
2016-02-17 20:31 ` Randy Brukardt
2016-02-17 22:37 ` Luke A. Guest
2016-02-17 23:26 ` olivier.henley
2016-02-17 22:37 ` Luke A. Guest
2016-02-17 23:56 ` olivier.henley
2016-02-18 0:20 ` Olivier Henley
2016-02-18 1:22 ` Luke A. Guest
2016-02-18 15:58 ` Olivier Henley
2016-02-18 18:32 ` Per Sandberg
2016-02-18 23:21 ` Simon Wright
2016-02-19 5:14 ` Per Sandberg
2016-02-19 6:53 ` Per Sandberg
2016-02-19 8:20 ` Simon Wright
2016-02-19 9:01 ` Per Sandberg
2016-02-19 12:05 ` Simon Wright
2016-02-19 13:14 ` G.B. [this message]
2016-02-19 4:21 ` thick bindings, was " tmoran
2016-02-19 13:07 ` Olivier Henley
2016-02-19 15:38 ` Alejandro R. Mosteo
2016-02-19 16:54 ` Lucretia
2016-02-19 17:28 ` Per Sandberg
2016-02-19 17:41 ` Lucretia
2016-02-19 18:02 ` Lucretia
2016-02-19 19:53 ` Per Sandberg
2016-02-19 22:28 ` Randy Brukardt
2016-02-19 23:32 ` Olivier Henley
2016-02-20 0:26 ` Luke A. Guest
2016-02-20 6:28 ` tmoran
2016-02-22 23:56 ` Randy Brukardt
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox