Language lawyer needed

[davidg@oracorp.com (David Guaspari)]

Here's a question for language lawyers.

Consider the following pathological program:

   procedure Q(x : integer) is  
   begin
     declare
       x : integer;   -- (1)
     begin
       Q(x => 0);     -- (2)
     end;
   end Q;

My question concerns the legality of Q (forgetting about the fact that
its execution won't terminate).  One way to apply chapter 8 in the
reference manual goes as follows:

  The declaration of x in (1) hides the declaration of x as a formal
  parameter of Q.

  Therefore, by the visibility rules, the occurrence of x in (2) has
  exactly one possible meaning, namely that given by the declaration
  in (1). 

  However, the declaration in (1) is not visible by selection at the
  point at which x occurs in (2).

  Therefore the call in (2) is illegal.

One the other hand, at least one compiler (Telesoft) thinks that Q is
legal, an outcome that seems a reasonable enough outcome to common
sense untutored by the reference manual.  So, what *is* the right
answer, and how do we get it from the RM?

- David Guaspari
  davidg@oracorp.com