Re: Range constraints on subprogram parameters?

["Randy Brukardt" <randy@rrsoftware.com>]

"Jeffrey R. Carter" <spam@spam.com> wrote in message
news:yi4%e.5290$oc.213@newsread2.news.pas.earthlink.net...
> Bobby D. Bryant wrote:
> > Yes, that's what I was wanting.
> >
> > It occurs to me in retrospect that it would be problematic from a
> > language design perspective, since it would be impossible to enforce
> > at compile time.
>
> It doesn't have to be enforceable at compile time, since subtype
constraints
> don't have to be static:
>
> procedure Outer (Max : in Positive) is
>     subtype Num is Positive range 1 .. Max;
>
>     procedure Inner (X : in Num) is
>
> is perfectly legal.
>
> It mostly depends on where the subprogram is declared compared to where
the
> constraints are known.

Actually, Bobby was correct. The reason you can't have subtype constraints
in a parameter declaration is because they aren't required to be static. The
problem is one of conformance when you have separate specifications and
bodies. If F is an integer-returning function that returns 1 the first time
it is called, 2 the second tine, and so on, what is the range of the
parameter P?

    procedure Ugh (P : in Integer range 0 .. F); -- F = 1.

    Obj : constant Integer := F; -- Call on F = 2.

    procedure Ugh (P : in Integer range 0 .. F) is -- F = 3.
       ...

This is why Ada 200Y allows null exclusions in parameters: because they
always have to be static. We talked a bit aboult allowing static constraints
in subprogram parameter declarations, but didn't do it because that seemed
even more arbitrary than not allowing them at all.

Note that declaring the subtype explicitly (and separately) doesn't have
this problem.

                         Randy.