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-15 10:46:41 PST Newsgroups: comp.lang.ada Path: bga.com!news.sprintlink.net!howland.reston.ans.net!swrinde!sgiblab!sgigate.sgi.com!olivea!news.bu.edu!inmet!dsd!stt From: stt@dsd.camb.inmet.com (Tucker Taft) Subject: Re: Modulus and Remainder operations (Was Re: Help with a bit of C code) Message-ID: Sender: news@inmet.camb.inmet.com Organization: Intermetrics, Inc. References: <37er8t$oh0@watnews1.watson.ibm.com> <1994Oct13.092135@di.epfl.ch> Date: Sat, 15 Oct 1994 17:35:17 GMT Date: 1994-10-15T17:35:17+00:00 List-Id: In article , Henry G. Baker 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