[$ieee-1850] Illegal example in LRM: Is it illegal?

Hi All,
 
One of the illegal example in 'Sec 6.2.3 Replicated properties' is
 
forall j in {0:7}:
    forall k in {0:j}:
        f(j,k)
 
I fail to understand why this example is illegal. Probably because a
replicator parameter is used in the Value range of the nested
replicator.
But nowhere does the LRM say that this is illegal. Per LRM
 
"If a Range is used to specify a Value Range, the Range shall be a
finite Range, each bound of the Range shall be statically computable,
and the left bound of the Range shall be less than or equal to the right
bound of the Range."
 
A replicator parameter is static variable. Thus {0:j} satisfies the
restrictions on value range.
 
Should this example be removed from the LRM?
 
Regards
Tej
 
Received on Thu Oct 14 12:03:31 2004