comp.lang.ada
 help / color / mirror / Atom feed
From: dewar@cs.nyu.edu (Robert Dewar)
Subject: Re: [Q] Tools for Ada Quality and Style
Date: 1996/04/30
Date: 1996-04-30T00:00:00+00:00	[thread overview]
Message-ID: <dewar.830919875@schonberg> (raw)
In-Reply-To: 9604301327.AA12571@eight-ball


Bob said

"I believe you'll search in vain for any words of mine that say the
way to implement this process improvement is exclusively or even
chiefly through a prettyprinter."

Oops, sorry I must have slipped in copying the attribution, it's easy
to do sometimes when quoting.

However, I must say, I don't like ANY tools that mess with what I type.
Even tiny ones! If you rely on even tiny tools to clean up your sources,
it means that you are tolerating at least for a limited time, untidy
sources, and I think the best path to uniformity is to foster an
attitude that just can't *stand* to look at code that is not properly
formatted. 

But that's really a small taste matter, basically I think we are pretty
much in agreement.

For GNAT itself, the compiler enforces many layout rules, and it is not
even possible to compile a GNAT unit that does not obey the basic style
rules. This has been very useful in getting a high degree of uniformity
in the GNAT sources themselves.





  reply	other threads:[~1996-04-30  0:00 UTC|newest]

Thread overview: 24+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
1996-04-30  0:00 [Q] Tools for Ada Quality and Style Bob Crispen
1996-04-30  0:00 ` Robert Dewar [this message]
1996-05-01  0:00   ` Bob Kitzberger
1996-05-02  0:00     ` Robert Dewar
1996-05-02  0:00     ` Robert A Duff
  -- strict thread matches above, loose matches on Subject: below --
1996-04-17  0:00 Ada naming conventions? Bob Crispen
1996-04-25  0:00 ` [Q] Tools for Ada Quality and Style JP Thornley
1996-04-26  0:00   ` Ken Garlington
1996-04-27  0:00   ` Bob Crispen
1996-04-28  0:00     ` Robert Dewar
1996-04-29  0:00       ` JP Thornley
1996-04-30  0:00         ` Ken Garlington
1996-04-30  0:00       ` Peter Milliken
1996-04-30  0:00         ` Robert Dewar
1996-05-05  0:00           ` Geert Bosch
1996-05-07  0:00             ` Peter Milliken
1996-04-30  0:00         ` Ken Garlington
1996-04-30  0:00         ` David Sanderson, IV
1996-04-30  0:00   ` Laurent Guerby
1996-04-30  0:00     ` Frank Falk
1996-04-30  0:00       ` David Weller
1996-05-04  0:00         ` LJMetzger
1996-05-04  0:00           ` Robert Dewar
1996-04-30  0:00     ` Robert A Duff
1996-05-06  0:00   ` Rolf Ebert
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox