comp.lang.ada
 help / color / mirror / Atom feed
From: AdaMagica <christoph.grein@eurocopter.com>
Subject: Re: Min/Max attribute makes promises it can't keep
Date: Wed, 28 Apr 2010 03:58:47 -0700 (PDT)
Date: 2010-04-28T03:58:47-07:00	[thread overview]
Message-ID: <246a7cec-bd5f-4c48-a6cb-3874080c19ab@y17g2000yqd.googlegroups.com> (raw)
In-Reply-To: 880dc0f0-7fff-440d-8aad-6ce745fcfed8@h27g2000yqm.googlegroups.com

> I think you all missed my point: allowing the programmer to specify a
> constraint in situations where the constraint will not be enforced

But the prefix of an attribute reference does not specify a
constraint.

Integer'Min, Positive'Min, Natural'Min are all the same.



  reply	other threads:[~2010-04-28 10:58 UTC|newest]

Thread overview: 17+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2010-04-27 19:34 Min/Max attribute makes promises it can't keep Alex Mentis
2010-04-27 20:20 ` Martin
2010-04-27 21:16   ` Robert A Duff
2010-04-27 22:46     ` Randy Brukardt
2010-04-28 10:36     ` Alex Mentis
2010-04-28 10:58       ` AdaMagica [this message]
2010-04-28 11:37         ` Gautier write-only
2010-04-28 11:47           ` AdaMagica
2010-04-28 13:28             ` Martin
2010-04-28 13:41             ` Dmitry A. Kazakov
2010-04-28 14:10               ` Georg Bauhaus
2010-04-28 14:53                 ` Dmitry A. Kazakov
2010-04-28 21:07                   ` Randy Brukardt
2010-04-28 22:17                     ` Dmitry A. Kazakov
2010-05-01  5:42                       ` Randy Brukardt
2010-05-01  6:28                         ` Dmitry A. Kazakov
2010-04-29  4:41                     ` AdaMagica
replies disabled

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