Re: Equality operator overloading in ADA 83

[mheaney@ni.net (Matthew Heaney)]

In article <dewar.862878406@merv>, dewar@merv.cs.nyu.edu (Robert Dewar) wrote:


>A similar example arose during the 9X discussions, where
>
>  raise x when ...
>
>was proposed.

That's funny, because I was shocked to learn that that wasn't included in
Ada 95.  To me, that's a quite useful statement (unlike a case statement
for non-discrete types - a silly idea), so I don't agree with the
comparison.

Tuck made the point once on CLA that the designers were trying to be
conservative in this revision, and only add things that couldn't be done
easily any other way, so I can certainly understand not adding it.

One thing he mentioned that didn't go in that probably should have (I think
that's what he said...) is 

procedure P (O : access constant T);

I've actually had a use for this kind of thing.  It would allow me to take
the 'Access of an tagged parameter of mode in:

procedure Q (O : in T) is
begin
   P (O'Access);
...

As it stands now I can't do that, because the object passed to "access T"
has to be mode in out.  Bummer.

--------------------------------------------------------------------
Matthew Heaney
Software Development Consultant
<mailto:matthew_heaney@acm.org>
(818) 985-1271