Re: pragma import ambiguity

["Frank J. Lhota" <flhota.NOSPAM@ll.mit.edu>]

tmoran@acm.org wrote:
> One Ada compiler accepts this, another doesn't. I agree with the one that
> objects.  Are we wrong?
> procedure testimp is
>   type logicopenm is ( clear, gl_and);
>   procedure clear(mask:integer);
>   pragma import(stdcall,clear,"glclear");
> begin
>   null;
> end testimp;

This is a tough call. Technically, an enumeration literal such as "clear" in

	type logicopenm is ( clear, gl_and);

is an implicit, parameterless function. Section B.1 of the ARM states 
"If the local_name denotes more than one entity, then the pragma Import 
is the completion of all of them", so one could argue that the import 
clause imports a subprogram for *both* the clear procedure and the 
enumeration literal. This is clearly not possible: the "clear" 
enumeration literal must be implicit.

Of course, one may argue that B.1 should not apply to enumeration 
literals, but even so, this kind of overloading is not recommended. My 
advice would be to give the enumeration literal and the procedure 
separate names.