From: dewar@merv.cs.nyu.edu (Robert Dewar)
Subject: Re: Distinguishing type names from other identifiers
Date: 1998/01/16
Date: 1998-01-16T00:00:00+00:00 [thread overview]
Message-ID: <dewar.884998535@merv> (raw)
In-Reply-To: dewar.884996184@merv
Note as an interesting postscript to this discussion of enforced coding
styles, that a very common request for enhancement of GNAT is an official
feature similar to -gnatg.
Indeed, quite a few of our customers are using -gnatg even though we advise
against it (we advise against it, becuase (a) it makes the compiler
non-standard, e.g. allowing compilation of new children of Ada and (b) we
feel free to change this at any time, typically by adding new requirementsw
which you might or might not like)).
We definitely plan some limited capability of this type for style enforcement
available as a user capability in the future.
Note that you can also use external tools, such as AdaAssured to do this
kind of style checking.
next prev parent reply other threads:[~1998-01-16 0:00 UTC|newest]
Thread overview: 69+ messages / expand[flat|nested] mbox.gz Atom feed top
1998-01-13 0:00 Distinguishing type names from other identifiers Adam Beneschan
1998-01-14 0:00 ` Brian Rogoff
1998-01-15 0:00 ` Michael F Brenner
1998-01-15 0:00 ` Nick Roberts
1998-01-16 0:00 ` Robert Dewar
1998-01-16 0:00 ` Michael F Brenner
1998-01-16 0:00 ` Robert Dewar
1998-01-16 0:00 ` Brian Rogoff
1998-01-17 0:00 ` nabbasi
1998-01-18 0:00 ` Robert Dewar
1998-01-18 0:00 ` who owns the code? was " nabbasi
1998-01-18 0:00 ` Robert Dewar
1998-01-19 0:00 ` nabbasi
1998-01-19 0:00 ` Robert Dewar
1998-01-20 0:00 ` Paul Van Bellinghen
1998-01-21 0:00 ` Robert Dewar
1998-01-21 0:00 ` nabbasi
1998-01-22 0:00 ` Robert Dewar
1998-01-21 0:00 ` nabbasi
1998-01-22 0:00 ` Robert Dewar
1998-01-22 0:00 ` nabbasi
1998-01-26 0:00 ` Matthew Heaney
1998-01-20 0:00 ` Anonymous
1998-01-20 0:00 ` Robert Dewar
[not found] ` <69rnvv$ <dewar.885475174@me>
1998-01-23 0:00 ` James Hopper
1998-01-23 0:00 ` James Hopper
1998-01-22 0:00 ` Robert Dewar
[not found] ` <6a8mir$caa@nn <dewar.8855 <6a8vgd$cr7@nntp1.erinet.com>
1998-01-23 0:00 ` Richard Kenner
1998-01-23 0:00 ` Robert Dewar
1998-01-23 0:00 ` Paul Van Bellinghen
1998-01-23 0:00 ` Robert Dewar
[not found] ` <6a8mir$caa@nn <dewar.8855 <6a8vgd$cr7@nn <dewar.885555487@merv>
1998-01-24 0:00 ` James Hopper
1998-01-16 0:00 ` Robert Dewar [this message]
1998-01-21 0:00 ` Philip Brashear
1998-01-20 0:00 ` Benoit Jauvin-Girard
1998-01-20 0:00 ` Robert Dewar
1998-01-19 0:00 ` who owns the code? was " Anonymous
1998-01-19 0:00 ` Robert Dewar
-- strict thread matches above, loose matches on Subject: below --
1998-01-25 0:00 tmoran
1998-01-25 0:00 ` Brian Rogoff
1998-01-26 0:00 ` Nick Roberts
1998-01-14 0:00 tmoran
1998-01-14 0:00 ` Robert Dewar
1998-01-14 0:00 ` Brian Rogoff
1998-01-14 0:00 ` nabbasi
1998-01-15 0:00 ` Brian Rogoff
1998-01-10 0:00 Two simple language questions (plural types) Matthew Heaney
1998-01-12 0:00 ` Anonymous
1998-01-12 0:00 ` Matthew Heaney
1998-01-12 0:00 ` Brian Rogoff
1998-01-13 0:00 ` Robert Dewar
1998-01-13 0:00 ` Distinguishing type names from other identifiers Nick Roberts
1998-01-13 0:00 ` Matthew Heaney
1998-01-14 0:00 ` Stephen Leake
1998-01-24 0:00 ` Matthew Heaney
1998-01-15 0:00 ` Anonymous
1998-01-24 0:00 ` Matthew Heaney
1998-01-24 0:00 ` Martin M Dowie
1998-01-24 0:00 ` Martin M Dowie
1998-01-25 0:00 ` Matthew Heaney
1998-01-15 0:00 ` Aaro Koskinen
1998-01-17 0:00 ` Martin M Dowie
1998-01-17 0:00 ` Martin M Dowie
1998-01-25 0:00 ` Matthew Heaney
1998-01-25 0:00 ` Brian Rogoff
[not found] ` <n5rs5FAStOz0Ew2+@dowie-cs.demon.co.uk>
1998-01-26 0:00 ` Brian Rogoff
1998-01-27 0:00 ` Martin M Dowie
1998-01-27 0:00 ` Brian Rogoff
1998-01-27 0:00 ` Matthew Heaney
1998-01-28 0:00 ` Brian Rogoff
1998-01-28 0:00 ` Matthew Heaney
1998-01-29 0:00 ` Brian Rogoff
1998-01-30 0:00 ` Mats Weber
1998-01-28 0:00 ` Martin M Dowie
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox