Re: Interfacing to C and types visible to Ada

[Georg Bauhaus <rm.dash-bauhaus@futureapps.de>]

Maciej Sobczak schrieb:

> just plain "integer", which meaning can depend on how the given
> library is actually used.
> 
> We can use Interfaces.C.int for binding Ada to C, but there is still a
> need to expose somehow the type to regular Ada code. What type should
> be used?

Your description sounds almost like the answer to me.

    type Whatever_Integer is range C.int'First .. C.int'Last;
    --  explain this


> 
> Standard.Integer is the most natural choice, because it clearly
> expresses the "domainless" character of the given type.

Except, as Randy has pointed out, Integer might have a smaller
range than C.int.