From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.3 required=5.0 tests=BAYES_00,INVALID_MSGID
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,f92fbb4a0420dd57
X-Google-Attributes: gid103376,public
From: Ken Garlington <garlingtonke@lfwc.lockheed.com>
Subject: Re: some questions re. Ada/GNAT from a C++/GCC user
Date: 1996/04/01
Message-ID: <315FCD11.D7E@lfwc.lockheed.com>#1/1
X-Deja-AN: 145269571
references: <Dp1sMM.23q@world.std.com> <4jjul6$637@ra.nrl.navy.mil>
 <Dp3uBz.ALF@world.std.com> <adaworksDp5Ct8.1wt@netcom.com>
 <Dp6y67.MI9@world.std.com>
content-type: text/plain; charset=us-ascii
organization: Lockheed Martin Tactical Aircraft Systems
mime-version: 1.0
newsgroups: comp.lang.ada
x-mailer: Mozilla 2.01 (Macintosh; I; 68K)
Date: 1996-04-01T00:00:00+00:00
List-Id: <comp.lang.ada>

Robert A Duff wrote:
> 
> I really do think the extra
> verbosity damages readability, and there's "no good reason" for it.

I do think "declare" is useful, if you name the declare block. This gives you
an easy way to find the end of the scope, even in the presence of nested scopes.
Of course, an alternative would be to have the ability to name all constructs that 
would introduce a scope. Something like?

a_scope: if foo > bar then

   a: integer := 7;

   foo := foo * a;

else a_scope

  b: integer := 9;

  bar := bar * b;

end if a_scope;

You could do this with comments, of course, but then you lose the compiler 
checking...