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!aioe.org!.POSTED!not-for-mail From: "Dmitry A. Kazakov" Newsgroups: comp.lang.ada Subject: Re: Ada case-statement Date: Fri, 16 Mar 2018 09:54:46 +0100 Organization: Aioe.org NNTP Server Message-ID: References: <365d65ea-5f4b-4b6a-be9b-1bba146394ab@googlegroups.com> NNTP-Posting-Host: MyFhHs417jM9AgzRpXn7yg.user.gioia.aioe.org Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 7bit X-Complaints-To: abuse@aioe.org User-Agent: Mozilla/5.0 (Windows NT 6.1; WOW64; rv:52.0) Gecko/20100101 Thunderbird/52.6.0 Content-Language: en-US X-Notice: Filtered by postfilter v. 0.8.3 Xref: reader02.eternal-september.org comp.lang.ada:51023 Date: 2018-03-16T09:54:46+01:00 List-Id: On 15/03/2018 23:20, Randy Brukardt wrote: > "Dmitry A. Kazakov" wrote in message > news:p8dbcp$11bc$1@gioia.aioe.org... >> I don't see how giving a name could add anything to the semantics. Each >> alternative exhaustively defines a constraint. No reason to contaminate >> the name space. > > How does > when Today: Thurs => > exhaustively define anything? It just defines a constraint, but there is not > way to know of what. > You have to look at the selecting_expression to find > the type -- but it doesn't show it either. This applies to everything: when Thurs => What is the type of Thurs? I either know or in most cases simply do not care. In any case this is no change of the semantics. Today has the semantics of the case statement argument. You didn't specify the type there, why should you do here? -- Regards, Dmitry A. Kazakov http://www.dmitry-kazakov.de