Re: Please help with my lua binding

[Simon Wright <simon@pushface.org>]

Patrick <patrick@spellingbeewinnars.org> writes:

> In my lua_h.ads file I put this:
> type lua_State is private;
> type lua_State is new System.Address;
>
> and in the test.adb file I did this:
> procedure test is
> result : Integer ;
> L : lua_State ;
>
> begin
>
> L := luaL_newstate ;
>  
> end test ;
>
>
> I got this:
> test.adb:13:06: expected private type "lua_State" defined at lua_h.ads:161
> test.adb:13:06: found private type "System.Address"

These are because GNAT has been confused by ...

> lua_h.ads:161:01: declaration of full view must appear in private part

So you need to say

with System;
package lua_h is
   ...
   type lua_state is private;
   ...
private                         -- this begins the private part
   ...
   type lua_state is new System.Address;
   ...
end lua_h;