From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on
	ip-172-31-74-118.ec2.internal
X-Spam-Level: 
X-Spam-Status: No, score=-1.3 required=3.0 tests=BAYES_00,NICE_REPLY_A,
	REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.6
Path: eternal-september.org!reader02.eternal-september.org!.POSTED!not-for-mail
From: "G.B." <bauhaus@notmyhomepage.invalid>
Newsgroups: comp.lang.ada
Subject: Re: C time_t 2038 problem s-os_lib.ads
Date: Sat, 25 Sep 2021 12:22:17 +0200
Organization: A noiseless patient Spider
Message-ID: <simt8p$663$1@dont-email.me>
References: <8936f386-3fdb-43b3-b912-317906d59631n@googlegroups.com>
 <sii2q2$fcn$1@dont-email.me>
 <4431fad9-d297-4d68-8c0f-fa771c6710f6n@googlegroups.com>
 <cd4a94de-e8b9-4194-8d80-24a009a558ban@googlegroups.com>
 <874kabm5mp.fsf@nosuchdomain.example.com>
 <3c0272f8-4117-46a4-9051-5419d1edfdc6n@googlegroups.com>
 <87ilyplh4d.fsf@nosuchdomain.example.com>
Reply-To: nonlegitur@notmyhomepage.de
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Sat, 25 Sep 2021 10:22:17 -0000 (UTC)
Injection-Info: reader02.eternal-september.org; posting-host="de78c1bd0602bf85825835bb5cb12909";
	logging-data="6339"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1+QcOqOVgNfH4R1+ewwHO6Fi6Ip6tSFEhs="
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.15; rv:78.0)
 Gecko/20100101 Thunderbird/78.14.0
Cancel-Lock: sha1:EtkS6vjOAKCuLtMhsNgj6yA3MWA=
In-Reply-To: <87ilyplh4d.fsf@nosuchdomain.example.com>
Content-Language: en-US
Xref: reader02.eternal-september.org comp.lang.ada:62837
List-Id: <comp.lang.ada>

On 25.09.21 00:54, Keith Thompson wrote:

> 
> It's *seems* almost obvious that Ada's types
>      Character
>      Short_Integer
>      Integer
>      Long_Integer
>      Long_Long_Integer
> should correspond to the similarly named C types, but it's not required.
> (I don't know whether GNAT does so consistently or not.)
It might turn out as an advantage if Ada programs don't to use
types named like that.

First, the standard says an implementation MAY provide them.

Second, if Ada programs call C functions that take C int arguments,
then argument types taken from Interfaces.C seem to be the obvious
choice.

Just state what's needed in the type's definition in your program,
referring to "externally defined" types as required.