From: Ehud Lamm <mslamm@mscc.huji.ac.il>
Subject: Re: Getting GNAT to issue ARM error messages
Date: 1999/02/15
Date: 1999-02-15T00:00:00+00:00 [thread overview]
Message-ID: <Pine.A41.3.96-heb-2.07.990215160136.88196A-100000@pluto.mscc.huji.ac.il> (raw)
In-Reply-To: 7a86hj$ka1$1@nnrp1.dejanews.com
On Mon, 15 Feb 1999 dewar@gnat.com wrote:
> So let me state once again the philosophy of GNAT. It is
> to provide RM references if and only if they seem useful
> to typical users of the compiler.
>
This must be the right approach, and GNAT is a very good compiler - and so
are the error messages.
However, there's one thing I think important to think about. GNAT is used
heaviliy for education. I think a part of really learning Ada, is being
able to at list follow the general description of the RM, even if not
grasp all the details. In this, I think, the compiler can help - by point
the programmer to the RM.
It is true that this was much nicer in Ada83, but I still think that in
many cases the RM is readable - esp. when you have hypertext referecnes to
definitions.
I don't think it is a must, and I don't think this is really high
priority. However since the discussion got the point where "typical users"
were concerned, I'd thought I'd mention this viewpoint.
Ehud Lamm mslamm@pluto.mscc.huji.ac.il
next prev parent reply other threads:[~1999-02-15 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 ` Tom Moran
1999-04-20 0:00 ` Robert Dewar
1999-04-20 0:00 ` Ehud Lamm
1999-04-20 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 ` dewar
1999-02-15 0:00 ` Ehud Lamm [this message]
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
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 ` David Brown
1999-02-18 0:00 ` robert_dewar
1999-02-18 0:00 ` dennison
1999-02-23 0:00 ` Chris Morgan
1999-02-15 0:00 ` Jerry van Dijk
1999-02-16 0:00 ` dennison
1999-02-18 0:00 ` Alexy V Khrabrov
1999-02-14 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