Re: Ada & MacOS

["Hyman Rosen" <hyman.rosen@gmail.com>]

Martin Krischik wrote:
> unsigned& key (int& x)  { return x; }

Here's what a modern C++ compiler says:
Comeau C/C++ 4.3.3 (Aug  6 2003 15:13:37) for ONLINE_EVALUATION_BETA1
Copyright 1988-2003 Comeau Computing.  All rights reserved.
MODE:strict errors C++

"ComeauTest.c", line 4: error: a reference of type "unsigned int &"
(not
          const-qualified) cannot be initialized with a value of type
"int"
    return x;
           ^

> Of corse not at easy as displayed here. It was deeply nested inside a
> template. So one could not the see the type mismatch imediatly.

The same compiler as above, with a template:
"ComeauTest.c", line 2: error: a reference of type "int &" (not
const-qualified)
          cannot be initialized with a value of type "unsigned int"
  R &key (P &x) { return x; }
                         ^
          detected during instantiation of
                    "R &key<R,P>(P &) [with R=int, P=unsigned int]"

> But how about a little quiz: Which of the two compiler in question where
> right?

Neither, of course.

> Or a little test: We ask comp.lang.cpp which of the two compiler in question
> where right?

The place to ask is comp.lang.c++.moderated or comp.std.c++ (the
unmoderated
groups are too noisy - c.l.a should have such problems!)

> I can tell you: If you ask a question like this here in c.l.a then in less
> then 24 hours you have an answer beginning with:
>
> In the RM X.Y.Z(W) it says ....

I assure you, in either of those groups I mention, you will have
Standard C++
quoted at you chapter and verse to your heart's content, and quickly
too.