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 X-Received: by 10.236.175.42 with SMTP id y30mr22945398yhl.42.1405095877267; Fri, 11 Jul 2014 09:24:37 -0700 (PDT) X-Received: by 10.182.86.69 with SMTP id n5mr34obz.14.1405095876767; Fri, 11 Jul 2014 09:24:36 -0700 (PDT) Path: eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!news.eternal-september.org!news.eternal-september.org!feeder.eternal-september.org!eu.feeder.erje.net!feeder.erje.net!us.feeder.erje.net!news.glorb.com!r10no1049478igi.0!news-out.google.com!gf2ni6igb.0!nntp.google.com!r10no1049475igi.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail Newsgroups: comp.lang.ada Date: Fri, 11 Jul 2014 09:24:36 -0700 (PDT) In-Reply-To: Complaints-To: groups-abuse@google.com Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=71.252.147.203; posting-account=zwxLlwoAAAChLBU7oraRzNDnqQYkYbpo NNTP-Posting-Host: 71.252.147.203 References: User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: <148851fb-ad02-433e-87e6-be7071d33c96@googlegroups.com> Subject: Re: Comments requested for a couple of Ada-Comments submissions From: "Dan'l Miller" Injection-Date: Fri, 11 Jul 2014 16:24:37 +0000 Content-Type: text/plain; charset=ISO-8859-1 Xref: news.eternal-september.org comp.lang.ada:20872 Date: 2014-07-11T09:24:36-07:00 List-Id: On Friday, July 11, 2014 11:04:31 AM UTC-5, Niklas Holsti wrote: > type Month_Days is array (Month) of Positive; > Normal_Year_Days : constant Month_Days := > (Jan => 31, Feb => 28, Mar => 31, ..., Dec => 31); > Leap_Year_Days : constant Month_Days := > (Normal_Year_Days changing Feb => 29); The already existing keyword "others" looks more Ada-ish. Plus, it foregoes the pain of introducing a new reserved keyword. Leap_Year_Days : constant Month_Days := (Feb => 29 others Normal_Year_Days);