Re: Multiple pragma Imports

[tmoran@bix.com (Tom Moran)]

A fairly common situation is that an Ada binding has separated two
distinct types, which are the same in C for some function.  Thus the
Ada binding might have types Server_Socket and Client_Socket, which
are opened and used with different parameters, but are closed by a C
function with a single parameter.  Then a naive thin binding might try
to have
  procedure Close(Client : in out Client_Socket);
  pragma import(C, Close, "SClose");
  procedure Close(Server : in out Server_Socket);
  pragma import(C, Close, "SClose");
As I understand Robert Dewar's message, this is in fact illegal Ada,
though it has been accepted by more than one compiler in the past.
Something like
  procedure Close(Client : in out Client_Socket);
  pragma import(C, Close, "SClose");
  procedure Close(Server : in out Server_Socket) is
  begin
     Close(Client_Socket(Server));  -- appropriate type conversion
  end Close;
 would be needed.