From: "Pascal Obry" <p.obry@der.edf.fr>
Subject: Re: Getting GNAT to issue ARM error messages
Date: 1999/02/17
Date: 1999-02-17T00:00:00+00:00 [thread overview]
Message-ID: <7adt6i$71j$1@cf01.edf.fr> (raw)
In-Reply-To: 36C9C0BC.EA9C114E@lmco.com
[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: Type: text/plain, Size: 752 bytes --]
steve quinlan a �crit dans le message <36C9C0BC.EA9C114E@lmco.com>...
>You will never change Robert's mind on this. To my mind the flaw is in
>thinking that a bunch of Ada experts can determine whether in any given
case
>users (which users?) would find RM references useful. I don't think they
can
>reliably.
>
>I had this same argument with him when I was doing a compiler trade study
(we
>picked GNAT anyway, but this did get counted against it). Even if we can't
>change his mind, the fact that overwhelmingly users want this seems like it
>should move ACT to be more responsive. But they know best what we need to
>correct our errors. (;-)
>
The good news is that you can download GNAT sources and add this feature
yourself :-)
Pascal.
next prev parent reply other threads:[~1999-02-17 0:00 UTC|newest]
Thread overview: 35+ messages / expand[flat|nested] mbox.gz Atom feed top
1999-02-08 0:00 Getting GNAT to issue ARM error messages David Peterson
1999-02-09 0:00 ` robert_dewar
1999-02-10 0:00 ` David Peterson
1999-02-10 0:00 ` dewar
1999-02-10 0:00 ` Larry Kilgallen
1999-02-12 0:00 ` dewar
1999-02-12 0:00 ` Tucker Taft
1999-02-13 0:00 ` Nick Roberts
1999-02-13 0:00 ` bill
1999-02-14 0:00 ` robert_dewar
1999-02-14 0:00 ` Nick Roberts
1999-02-15 0:00 ` Jerry van Dijk
1999-02-16 0:00 ` dennison
1999-02-18 0:00 ` Alexy V Khrabrov
1999-02-15 0:00 ` dewar
1999-02-15 0:00 ` Ehud Lamm
1999-02-16 0:00 ` steve quinlan
1999-02-17 0:00 ` dewar
1999-02-17 0:00 ` steve quinlan
1999-02-18 0:00 ` robert_dewar
1999-02-19 0:00 ` Simon Wright
1999-02-17 0:00 ` Pascal Obry [this message]
1999-02-17 0:00 ` Steve Whalen
1999-02-17 0:00 ` Jean-Pierre Rosen
1999-02-18 0:00 ` robert_dewar
1999-02-18 0:00 ` Keith Thompson
1999-02-18 0:00 ` dennison
1999-02-23 0:00 ` Chris Morgan
1999-02-18 0:00 ` robert_dewar
1999-02-18 0:00 ` David Brown
1999-02-14 0:00 ` robert_dewar
1999-02-10 0:00 ` Tom Moran
1999-04-20 0:00 ` Robert Dewar
1999-04-20 0:00 ` Ehud Lamm
1999-04-20 0:00 ` Robert Dewar
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox