Function returning "Boolean" in a binding

[Antonio Vargas <antonio.vargas@clix.pt>]

Hi 

(Sorry about the bad English :-)  )

I'm making a public binding to the SDL graphics library and
I'm studying other bindings in other to make things right.

In the process of testing  adabindx-0.7.1 under Gnat 3.13p

I've found this problem.

With Gnat I can't compile this code, accusing an internal bug:

   type Xt_Work_Proc is access function (Client_Data : in Xt_Pointer)
      return Boolean; 
   pragma Convention (C, Xt_Work_Proc);


But if I change  the return type form  "Boolean" to "Interfaces.C.Int"
it compiles.  Shouldn't the compiler  make an automatic conversion
from Boolean(Ada side) to C.int  (C side) ?. 

Is it  just a gnat bug  or a bug and non-standard coding,  since
I can't find nothing related to that in the ARM  or Gnat docs?

Thanks in advance.

Antonio Vargas