generic imports? void* -> generics?

[chris <spamoff.danx@ntlworld.com>]

Hi,

Should the following C code be mapped to a generic?

void *lua_touserdata (Lua_State* L, int pos)



I was thinking of something like

generic
    type Userdata is private;
function to_userdata (L   : in Lua_State_Access;
                       Pos : in Index) return Userdata;

but am unsure how to complete it...  I tried

    function To_Userdata (L   : in Lua_State_Access;
                          Pos : in Index) return Userdata is
       function Lua_ToUserData (L   : in Lua_State_Access;
                                Pos : in Index) return Userdata;
       pragma Import (C, Lua_ToUserData);
    begin
       return Lua_Touserdata (L, Pos);
    end To_Userdata;

and it compiles ok, but is it right?  It looks odd to me.  Will the 
function Lua_ToUserData be imported upon instantiation of the 
To_Userdata function?



Cheers,
Chris