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=-1.9 required=5.0 tests=BAYES_00 autolearn=ham autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,88ed72d98e6b3457 X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2003-10-11 07:42:55 PST Path: archiver1.google.com!news2.google.com!news.maxwell.syr.edu!newshub.sdsu.edu!elnk-nf2-pas!newsfeed.earthlink.net!stamper.news.pas.earthlink.net!stamper.news.atl.earthlink.net!newsread2.news.atl.earthlink.net.POSTED!not-for-mail Message-ID: <3F8816EB.1010009@noplace.com> From: Marin David Condic User-Agent: Mozilla/5.0 (Windows; U; Windows NT 5.1; en-US; rv:1.0.1) Gecko/20020823 Netscape/7.0 (OEM-HPQ-PRS1C03) X-Accept-Language: en-us, en MIME-Version: 1.0 Newsgroups: comp.lang.ada Subject: Re: Standard Library Interest? References: <3F7F760E.2020901@comcast.net> <3F8035B0.7080902@noplace.com> <3F816A35.4030108@noplace.com> <3F81FBEC.9010103@noplace.com> <6Ingb.30667$541.13861@nwrdny02.gnilink.net> <3F82B4A4.5060301@noplace.com> <3F82F527.3020101@noplace.com> <3F846B5E.9080502@comcast.net> <3F855460.6020804@noplace.com> <3F86211B.103@comcast.net> <3F8640CA.6090306@noplace.com> <3F86FE09.3050302@comcast.net> Content-Type: text/plain; charset=us-ascii; format=flowed Content-Transfer-Encoding: 7bit Date: Sat, 11 Oct 2003 14:42:55 GMT NNTP-Posting-Host: 209.165.2.136 X-Complaints-To: abuse@earthlink.net X-Trace: newsread2.news.atl.earthlink.net 1065883375 209.165.2.136 (Sat, 11 Oct 2003 10:42:55 EDT) NNTP-Posting-Date: Sat, 11 Oct 2003 10:42:55 EDT Organization: EarthLink Inc. -- http://www.EarthLink.net Xref: archiver1.google.com comp.lang.ada:667 Date: 2003-10-11T14:42:55+00:00 List-Id: I understand and anticipated that there would be a valid reason for not allowing extensions to Ada. That's why I raised the issue and was looking for something that would get around that. Note that the ARM doesn't appear to say "Thou shalt provide a mode under which a common, ordinary, garden-variety user can extend and modify packages under Ada...". Hence there may not be. There may be no source delivered for things under Ada. There may be no method provided to recompile the source even if it is provided. The source may not even be in Ada - it could be in C or assembler or in Jovial for all that the standard has to say about it. I think its essential that the end user have the library in source code and be allowed to play with it. If you figure out a way that this can be done, I'll accept that. I just want a guarantee that whatever tree it gets built under, I get the whole source for the tree and can modify or extend anything in that tree. Is that a reasonable requirement for a library? MDC Robert I. Eachus wrote: > > That is why I mentioned renaming. But if there is an Ada.Containers, > then I think it should be used in preference to CAL.Containers. > > By the way, the ARM A.2(4) says that: "In the standard mode, it is > illegal to compile a child of package Ada." > > But don't take that to mean what it doesn't say. The AARM adds a > reason, a ramification, and an Implementation Note: > > Reason: The intention is that mentioning, say, Ada.Text_IO in a > with_clause is guaranteed (at least in the standard mode) to refer to > the standard version of Ada.Text_IO. The user can compile a root library > unit Text_IO that has no relation to the standard version of Text_IO. > > Ramification: Note that Ada can have non-language-defined grandchildren, > assuming the implementation allows it. Also, packages System and > Interfaces can have children, assuming the implementation allows it. > > Implementation Note: An implementation will typically support a > nonstandard mode in which compiling the language defined library units > is allowed. Whether or not this mode is made available to users is up to > the implementer. > > The reason and the ramification are very important here. In standard > mode, you are guaranteed that Ada.Text_IO is the standard Ada.Text_IO. > But if there is a container library in Ada, adding children, especially > children that extend the original package is allowed. (Incidently, the > real, intended, rule is that vendors should have a special mode for > recompiling the standard libraries, and replacing library units and > their children defined in the RM should not otherwise be possible.) -- ====================================================================== Marin David Condic I work for: http://www.belcan.com/ My project is: http://www.jsf.mil/NSFrames.htm Send Replies To: m c o n d i c @ a c m . o r g "All reformers, however strict their social conscience, live in houses just as big as they can pay for." --Logan Pearsall Smith ======================================================================