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.9 required=5.0 tests=BAYES_00,FREEMAIL_FROM autolearn=unavailable autolearn_force=no version=3.4.4 X-Received: by 10.224.86.200 with SMTP id t8mr22278217qal.0.1371998592905; Sun, 23 Jun 2013 07:43:12 -0700 (PDT) X-Received: by 10.49.97.34 with SMTP id dx2mr469131qeb.42.1371998592872; Sun, 23 Jun 2013 07:43:12 -0700 (PDT) Path: border1.nntp.ams.giganews.com!nntp.giganews.com!de-l.enfer-du-nord.net!feeder1.enfer-du-nord.net!feeder2.enfer-du-nord.net!usenet-fr.net!proxad.net!feeder1-2.proxad.net!209.85.216.87.MISMATCH!j2no159339qak.0!news-out.google.com!fv2ni0qab.0!nntp.google.com!j2no1320701qak.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail Newsgroups: comp.lang.ada Date: Sun, 23 Jun 2013 07:43:12 -0700 (PDT) In-Reply-To: Complaints-To: groups-abuse@google.com Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=91.7.36.176; posting-account=rmHyLAoAAADSQmMWJF0a_815Fdd96RDf NNTP-Posting-Host: 91.7.36.176 References: <7f33982d-3bcf-452e-a3b3-3a0a28505ff1@x20g2000vbe.googlegroups.com> <87r4g0g9c0.fsf@adaheads.sparre-andersen.dk> <87ip1bg4z2.fsf_-_@adaheads.sparre-andersen.dk> <53d0b070-a03b-43d0-a560-68dd3a8bebf5@googlegroups.com> <51c218df$0$6623$9b4e6d93@newsspool2.arcor-online.net> User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: Subject: Re: Elaboration order handling (Was: Bug in 'gnatmake') From: AdaMagica Injection-Date: Sun, 23 Jun 2013 14:43:12 +0000 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable Date: 2013-06-23T07:43:12-07:00 List-Id: > X, Y : T; > Init (X, Y); > ... -- 100 lines > begin > > versus: > > X, Y : T; > ... -- 100 lines > begin > Init (X, Y); -- far away from X and Y I'm quite astonished about this kind of discussion... I would say a declare= block like this is very very bad style. I cannot imagine some code where 1= 00 lines to declare things are needed which could not be reformulated in so= me other way. You can always come up with some fancy code to demonstrate some obscure cas= e which would never go thru in real life - I'd reject such a code in an ins= pection. And I like null statements and (null record); and IIRC steelman or some oth= er ...man said empty parentheses and empty blocks look very much like somet= hing was forgotten, so either dont write them (subprograms without params) = or put null inside as an indication there actually is nothing. (Of course y= ou can still forget something.) Ada is wordy (eloquent, talkative, garrulous) by deliberation...