comp.lang.ada
 help / color / mirror / Atom feed
From: "Dan'l Miller" <optikos@verizon.net>
Subject: Re: Comments requested for a couple of Ada-Comments submissions
Date: Fri, 11 Jul 2014 09:24:36 -0700 (PDT)
Date: 2014-07-11T09:24:36-07:00	[thread overview]
Message-ID: <148851fb-ad02-433e-87e6-be7071d33c96@googlegroups.com> (raw)
In-Reply-To: <c2ag8cFi21iU1@mid.individual.net>

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);

  reply	other threads:[~2014-07-11 16:24 UTC|newest]

Thread overview: 21+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2014-07-11  0:02 Comments requested for a couple of Ada-Comments submissions Simon Clubley
2014-07-11  0:30 ` Jeffrey Carter
2014-07-11  4:16   ` Randy Brukardt
2014-07-11 16:04     ` Niklas Holsti
2014-07-11 16:24       ` Dan'l Miller [this message]
2014-07-11 20:02       ` Simon Clubley
2014-07-12  5:52         ` Niklas Holsti
2014-07-11  4:26 ` Randy Brukardt
2014-07-11  7:05   ` Simon Clubley
2014-07-11  4:56 ` Shark8
2014-07-11 15:35   ` Adam Beneschan
2014-07-11 17:26     ` Niklas Holsti
2014-07-11 17:55       ` Adam Beneschan
2014-07-11 18:00         ` Simon Wright
2014-07-11 19:07           ` Georg Bauhaus
2014-07-11 19:10           ` Dmitry A. Kazakov
2014-07-11 19:16             ` Niklas Holsti
2014-07-11 19:35               ` Dmitry A. Kazakov
2014-07-11 21:24             ` Randy Brukardt
2014-07-11 21:46               ` Shark8
2014-07-11 19:30       ` Simon Clubley
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox