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.
next prev parent 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