Thomas Schoebel-Theuer wrote: > Hi all, > > AFAIK, in Ada the scope rules are will allow that. The x after the > Ada := will refer to outer x, even while a new x is being defined at the > inner scope. No, this would be clearly illegal in Ada.