Re: MI for Ada

[robert_dewar@my-dejanews.com]

In article <7a7aav$mse$2@plug.news.pipex.net>,
  "Nick Roberts" <Nick.Roberts@dial.pipex.com> wrote:

> A blasphemy in 1983 perhaps, but not such a blasphemy
> now. Provided the extended syntax is rejected when the
> compiler is in 'standard mode', and
> accepted in some special mode (probably activated by a
> compiler flag), the sacred snake remains in his lair.

It is equally valid to have the RM mode activated by a
flag, there is no sense which requires the "default" mode
(whatever that means) to be the RM mode.
>
> Actually, it occurs to me that there is no particular
> difficulty in providing multiple inheritance from several
> publicly null-record tagged types at the same time.


Hmm! Nick, you have a long way to go in analyzing difficult
RM issues. No particular difficulty??? This is in fact a
VERY difficult proposal to get right, and almost certainly
it will run aground on any number of rocks on the way.

Have you read the AI's. I assume so if you are even vaguely
serious about implementing an Ada 95 compiler. If not, you
should, it would give you an interesting insight into the
delicate semantic issues of the language. Actually reading
the AARM is also a good way to get a feeling for this.

Multiple inheritance is a well known landmine in
programming language semantic definition land!

-----------== Posted via Deja News, The Discussion Network ==----------
http://www.dejanews.com/       Search, Read, Discuss, or Start Your Own