Re: Modulus and Remainder operations (Was Re: Help with a bit of C code)

[stt@dsd.camb.inmet.com (Tucker Taft)]

In article <hbakerCxo6GM.KLs@netcom.com>,
Henry G. Baker <hbaker@netcom.com> wrote:

> ...  the definer of [a limited] type has lost control of the type.

>In article <1994Oct13.092135@di.epfl.ch> 
>Magnus.Kempe@di.epfl.ch (Magnus Kempe) writes:
>>Henry, please read RM9X 6.2(4-10).  The following declaration ensures that
>>parameters of type T will always be passed by reference:
>>
>>package P is
>>  type T is limited private;
>>private
>>  type T is limited record ... end record; -- NOTE: "limited"
>>end P;
>> ...
>>Your problem is SOLVED In Ada 9X.
>
>For _most_, but not _all_, limited types.   ...

Not all limited types are used for the same purpose.  
In Ada 9X, the programmer decides whether pass-by-copy, 
pass-by-reference, or pass-by-most-efficient-route is appropriate.

That is what programmers are supposed to do.  It seems inappropriate
for the language designer to make these decisions for the programmer.
The language should provide the building blocks.  The programmer gets
to stack them up ;-).

>      Henry Baker

-Tucker Taft  stt@inmet.com