Re: Ada array vs C pointer (call by reference)

[Maciej Sobczak <see.my.homepage@gmail.com>]

On 27 Cze, 04:55, Adam Beneschan <a...@irvine.com> wrote:

> Oh, and you probably want to use Interfaces.C.C_Float instead of the
> Ada type "Float", to ensure that you're using the same kind of float
> that the C routine expects.

Don't get me wrong, but I find it a bit of handwaving.
Ada *cannot* guarantee that Interfaces.C.C_Float is the *right* float,
because it does not verify how the C code was compiled and there is a
lot of freedom given to C implementers in this area.
Same for all other types.

In reality we have to rely on some external knowledge about the
implementation - but then, Interfaces.C.XXX have little added value,
because we might as well have the same knowledge about types from
Standard.

Is there any implementation where Interfaces.C.int has different
properties than Integer?

--
Maciej Sobczak * www.msobczak.com * www.inspirel.com