Re: Min/Max attribute makes promises it can't keep

[Gautier write-only <gautier_niouzes@hotmail.com>]

On 28 Apr., 12:58, AdaMagica <christoph.gr...@eurocopter.com> wrote:
> > 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.

But it should, at least in the case of Min/Max.
Integer'Min, Positive'Min, Natural'Min being all the same breaches the
spirit of the Ada language (what you see is what it means).
A topic for Ada 201z...
______________________________________________________________
Gautier's Ada programming -- http://gautiersblog.blogspot.com/
NB: For a direct answer, e-mail address on the following web site:
http://www.fechtenafz.ethz.ch/wm_email.htm