From: Ehud Lamm <mslamm@mscc.huji.ac.il>
Subject: Re: Getting GNAT to issue ARM error messages
Date: 1999/04/20
Date: 1999-04-20T00:00:00+00:00 [thread overview]
Message-ID: <Pine.A41.3.96-heb-2.07.990420105356.61882B-100000@pluto.mscc.huji.ac.il> (raw)
In-Reply-To: 7fgupd$n7e$1@nnrp1.dejanews.com
One comment.
Robert is aiming Ada students, that try to prodcue code and need the error
messages to help thm with errors, and do not need obscure RM references
which in many cases do not help.
What about students of the RM trying to undersatnd what and where each
rule comes from? In these cases an RM or better yet an AARM ref. will be
great, don't you think?
Let me give you a small example, which I am sure will make me a laughing
stock:
type help is (a,b);
type Var(T:help) is
record
case T is
when a =>
data:integer;
when b =>
data:float; -- Same name can not appear twice!
end case;
end record;
This will not compile, giving the message: "data" conflicts with
declaration in line ..
This seesms obvious enough.
However now suppose I want to find out where is this rule in the RM.
So I start reading 3.8.1 Variant Parts and Discrete Choices, which is
quite dense reading...
A paragraph, AARM ref. and any other info is always good - if it does NOT
obscure the helpful message whcih the compiler should give, and which GNAT
most often does give.
I think Robert, that you say you have a dream of such a system, so I am
not sure how far our views on this are.
Ehud Lamm mslamm@pluto.mscc.huji.ac.il
next prev parent reply other threads:[~1999-04-20 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 [this message]
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
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 ` dennison
1999-02-23 0:00 ` Chris Morgan
1999-02-18 0:00 ` David Brown
1999-02-18 0:00 ` robert_dewar
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