Re: Dispatching callback handed over to C

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

On 5 Kwi, 11:13, Natasha Kerensikova <lithium...@gmail.com> wrote:

> So for my binding, what about something like :
>
>    type Opaque_Data is null record;
>    pragma Convention (C, Opaque_Data);
>
>    type Opaque_Pointer is access all Opaque_Data;
>    pragma Convention (C, Opaque_Pointer);
[...]

Looks good!

> As far as I cen tell, Opaque_Pointer refers only to types compatibles
> with C,

> Or is there some trap in the above code that I'm missing?

That according to AARM, the C counterpart needs to correspond to
Opaque_Data, that is, a pointer to an empty struct with the same
alignment requirements.

But in general, this seems to be the most convincng solution.

--
Maciej Sobczak * http://www.inspirel.com