Question of Visibility

[olivea!pagesat!spssig.spss.com!news.oc.com!convex!pelakh@decwrl.dec.com (Boris Pelakh)]

I am trying to determine whether I am in the right (if I am not, I will have
to patch a compiler). Examine the following example :

with text_io;
package boolean_type_pkg is
  type boolean is (FALSE, TRUE);
  for boolean use (FALSE => 16#00#, TRUE => 16#ff#);
  package boolean_io is new text_io.enumeration_io(boolean);
end boolean_type_pkg;

with boolean_type_pkg; use boolean_type_pkg;
procedure boolean_test is
  flag : boolean := TRUE;
begin
  boolean_io.put(flag);
end boolean_test;

My (Verdix-derived) front-end determines flag to be of type STANDARD.BOOLEAN.
I say that is correct since according to 8.1.11, STANDARD is an all-enclosing
declarative region, and thus has visibility precedence to the with'ed in pkg.
My customer claims that is wrong. Any opinions ? Alternatively, is there any
compiler out there that will accept the above code ? Mine rejects it since
boolean_io.put requires BOOLEAN_TYPE_PKG.BOOLEAN.

-- 
Boris Pelakh		Ada Project Leader          pelakh@convex.com
		     Convex Computer Corporation
"If winning isn't important, why keep score ?"	-- Lt. Worf, Star Trek TNG.