Re: How do I write directly to a memory address?

[Maciej Sobczak <see.my.homepage@gmail.com>]

On Feb 8, 7:14 pm, "Dmitry A. Kazakov" <mail...@dmitry-kazakov.de>
wrote:

> > q.e.d. what?
>
> 1. const T /= T
> 2. not (const T <: T)

That's of course very interesting, but does not relate to the example
that we are discussing.

> > Why do you want to substitute one type by another?
>
> Because one is passed as a parameter where another is declared, expected
> and used. This is substitution.

No. According to the C standard (6.5.2.2/4) this is *assignment*.

In Ada assignment looks like this:

declare
   J : constant Integer := 7;
   I : Integer;
begin
   I := J;  --  here

   --  and later, for example:
   I := I + 1;
end;

There is no substitution in the above code, at least as far as my
definitions go. This is assignment.
And since the C standard says black on white (hint: you cannot argue
with what the standard says) that the assignment takes place when
parameters are passed to functions, then no substitution takes place
there either.

And then, no contract is broken.

q.e.d. ?

--
Maciej Sobczak * http://www.inspirel.com