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.3 required=5.0 tests=BAYES_00,INVALID_MSGID autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,e6622c2c0e563df2 X-Google-Attributes: gid103376,public From: Samuel Tardieu Subject: Re: Standard library and distributed systems Date: 1997/07/02 Message-ID: #1/1 X-Deja-AN: 254049103 Sender: tardieu@esmeralda.enst.fr References: Mail-Copies-To: sam@ada.eu.org To: Andre Spiegel Organization: TELECOM Paris Newsgroups: comp.lang.ada Date: 1997-07-02T00:00:00+00:00 List-Id: >>>>> "Andre" == Andre Spiegel writes: [...] Andre> The problem: Ada.Strings.Bounded and Ada.Strings.Unbounded are Andre> not Remote_Types packages, which means that you cannot use Andre> bounded or unbounded strings for interpartition communications Andre> in a distributed system. Since these types are very important, Andre> I find this a severe restriction for distributed programming in Andre> Ada, and I wonder whether this could be changed. Andre> There is a proposal, documented in Ada Issue ai-00126 to make Andre> all standard packages Remote_Types for which it is possible. Andre> But even under this proposal, Ada.Strings.Bounded and Andre> Ada.Strings.Unbounded remain non-remote. [...] Andre> Please let me know whether the above reasoning is correct. If Andre> not, please tell me why not. If it _is_ correct, is it planned Andre> to change the standard library and/or the language rules? Andre, I agree with most of your points, but I really wonder why you want *so hard* to make these packages Remote_Types? Why don't you define your own types in such a package? You have shown in your multiple posts that it was not possible to use bounded and unbounded strings as defined by the Annex A as remote types without changing some standard's library specifications. This looks like a blocking problem for you, and that I cannot understand. Sam -- Samuel Tardieu -- sam@ada.eu.org