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=unavailable autolearn_force=no version=3.4.4 Path: eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!feeder.eternal-september.org!feeder.erje.net!2.eu.feeder.erje.net!news.etla.org!nntp-feed.chiark.greenend.org.uk!ewrotcd!newsfeed.xs3.de!io.xs3.de!news.jacob-sparre.dk!franka.jacob-sparre.dk!pnx.dk!.POSTED.rrsoftware.com!not-for-mail From: "Randy Brukardt" Newsgroups: comp.lang.ada Subject: Re: gettext for Ada Date: Mon, 27 Nov 2017 18:55:40 -0600 Organization: JSA Research & Innovation Message-ID: References: <2c5d0dff-bc12-4b37-b8e1-ac176c3e675f@googlegroups.com> <40dc6a79-9434-4b5a-bed0-50ee1dfb74c5@googlegroups.com> <6b0dde52-4f23-451a-ae8f-9199299c3a0a@googlegroups.com> Injection-Date: Tue, 28 Nov 2017 00:55:40 -0000 (UTC) Injection-Info: franka.jacob-sparre.dk; posting-host="rrsoftware.com:24.196.82.226"; logging-data="14258"; mail-complaints-to="news@jacob-sparre.dk" X-Priority: 3 X-MSMail-Priority: Normal X-Newsreader: Microsoft Outlook Express 6.00.2900.5931 X-RFC2646: Format=Flowed; Original X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2900.7246 Xref: reader02.eternal-september.org comp.lang.ada:49203 Date: 2017-11-27T18:55:40-06:00 List-Id: >> >> The set of locales may grow. 'Last etc. would change. >> > >> > Why would you use 'Last or 'Succ on languages? >> >> No type can be exempt from general Ada semantics. >> That's like asking why I would use 13 for Ada in the USA? > >I'm not saying the type should be exempt from the general semantics; I'm >saying that the operations don't make sense in the context of language... I noted in a previous message that allowing a changing enumeration would potentially cause various incompatibilities between versions which could be significant. (And none of them involve 'Succ or 'Last :-). There's a reason that Ada doesn't have implementation-defined enumeration types (the topic has been discussed a few times in various contexts). That said, there has been an informal proposal to allow the declaration of unordered enumeration types. Such types would not allow 'Pred or 'Succ or any ordering operator. Not sure if anything will happen with that proposal (no formal one has happened to date - and it is not clear how that would work in relation to generic formal discrete types). But such a proposal would not eliminate the incompatibilities associated with a potentially changing set of enumeration literals. Randy. ;