From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.3 required=5.0 tests=BAYES_00,INVALID_MSGID autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,67ca96c42837a9ca X-Google-Attributes: gid103376,public From: Ehud Lamm Subject: Re: Getting GNAT to issue ARM error messages Date: 1999/04/20 Message-ID: #1/1 X-Deja-AN: 468637604 References: <79oj1f$e8p$1@nnrp1.dejanews.com> <36c1c82d.1234350@news.pacbell.net> <7fgupd$n7e$1@nnrp1.dejanews.com> Content-Type: TEXT/PLAIN; charset=US-ASCII Organization: The hebrew University of Jerusalem Mime-Version: 1.0 Newsgroups: comp.lang.ada Date: 1999-04-20T00:00:00+00:00 List-Id: 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