From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-0.8 required=5.0 tests=BAYES_00,INVALID_DATE
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,18069d15345a10c8
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 1994-10-14 14:28:26 PST
Newsgroups: comp.lang.ada
Path: 
 bga.com!news.sprintlink.net!howland.reston.ans.net!swrinde!sgiblab!pacbell.com!amdahl!netcomsv!netcom.com!hbaker
From: hbaker@netcom.com (Henry G. Baker)
Subject: Re: Modulus and Remainder operations (Was Re: Help with a bit of C
 code)
Message-ID: <hbakerCxo6GM.KLs@netcom.com>
Organization: nil
References: <37er8t$oh0@watnews1.watson.ibm.com> <hbakerCxL95y.8L3@netcom.com>
 <1994Oct13.092135@di.epfl.ch>
Date: Fri, 14 Oct 1994 15:45:58 GMT
Date: 1994-10-14T15:45:58+00:00
List-Id: <comp.lang.ada>

In article <1994Oct13.092135@di.epfl.ch> Magnus.Kempe@di.epfl.ch (Magnus Kempe) writes:
>hbaker@netcom.com (Henry G. Baker) writes:
>: 
>: ...  the definer of [a limited] type has lost control of the type.
>: The 'textbook' definitions of prototypical limited types such as 'bank
>: accounts' are no longer safe in the presence of such equivocation.
>
>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;
>
>Also, parameters of tagged types are always passed by reference.
>
>: See "How to Steal from a Limited Private Account--Why Mode INOUT
>: Parameters for Limited Types MUST be Passed by Reference".  Ada
>: Letters XIII, 3 (May/June 1993), 91-95.
>
>Your problem is SOLVED In Ada 9X.

For _most_, but not _all_, limited types.  So we have yet another rule
to learn, and another 'relief act' for the language lawyers.  I can't
wait for ANSI/ISO Committee meetings to start showing up on CSPAN...  :-)

      Henry Baker
      Read ftp.netcom.com:/pub/hbaker/README for info on ftp-able papers.