Re: [Revisited] How to get around "access type must not be outside generic unit"

[Ludovic Brenta <ludovic@ludovic-brenta.org>]

Dmitry A. Kazakov writes:
> Let's take GtkAda as an example. The facts are:
>
> 1. It interfaces GTK+ (C++)

No, GTK+ is written in C, even though it implements an object-oriented
design.

> 2. It is full of this
>
> package Glib is
>    ...
>    type Boxed_Copy is access
>       function (Boxed : System.Address) return System.Address;
>    pragma Convention (C, Boxed_Copy);
>    type Boxed_Free is access procedure (Boxed : System.Address);
>    pragma Convention (C, Boxed_Free);
>
>    function Boxed_Type_Register_Static
>      (Name : String;
>       Copy : Boxed_Copy;
>       Free : Boxed_Free) return GType;
>
> How can I (well, ACT (:-)) apply Convention (C,...) on an anonymous
> access type?!

These are named access types, AFAICT.  GNAT implements access types
with convention C as C pointers; by contrast, access types with
convention Ada may carry dope information.

-- 
Ludovic Brenta.