Re: Ada Core Technologies and Ada95 Standards

[john@assen.demon.co.uk (John McCabe)]

dewar@cs.nyu.edu (Robert Dewar) wrote:

>John McCabe said

>  "I assume by point (c) that you mean compilers must not contain

<..snip..>

The point you make on invalid extensions re TLD seems reasonable to
me. I would have to agree entirely with your arguments on how TLD
could justify the implmentation of _a_ package Machine_Code in this
way.

>  "I fear you may be biased towards this type of bug reporting by being
>  directly involved with the Ada language itself. How many [other]
>  compiler vendors are this conscientious?"

>Not quite sure what this means. All Ada implementors are involved with
>the Ada language. I am not the only vendor with people on various
>committees (I do not say representatives here, because none of us
>represent our companies in this context). Many suggestions for tests
>in the past have come from vendors. I can't speak for how concientious
>any vendor may or may not have been in this regard.

Your response here seems to suggest that your understanding of my
statement is correct. I don't think I have anything to add here (your
last sentence says it all really!)

<..validation status..>

>Well you are free to take the "I don't really give a s**t" attitude to
>anything you like, but the fact of the matter is that the validation
>status report (VSR) has valuable information about any compiler, and is
>often provides information that is valuable in using a compiler.

I must admit I wasn't aware of that. Presuaby these reports are
available from somewhere. Are they available on-line e.g. from AdaIC?
I'd _now_ be interested in seeing the one for the compiler I use.

Just a point, at the time the compiler was mandated I had absolutely
no control over what tools, languages, or compilers I used. In
addition, I had absolutely no interest in Ada. This has changed to a
certain extent now in that I may be able to make decisions of this
nature on any new projects I am assigned to, and since reading the
articles in this newsgroup, I have started to look at Ada in a new
light (especially now Ada95 is available).

> Also
>I wish to remind you that it was you who raised the issue of the validation
>status of the compiler you are using, not me :-)

Yes, but I just brought it up so we would have something to talk about
:-)

>P.S. do you like that indentation style better?

Yes It's much better - much more obvious who said what :-) Thanks very
much!



Best Regards
John McCabe <john@assen.demon.co.uk>