(j3.2006) a question on same_type_as and type parameters

[Van Snyder]

On Thu, 2008-08-28 at 14:59 -0400, Jim Xia wrote:
> Also there is a problem for adding KIND= and LEN= in SAME_TYPE_AS,
> that is you shouldn't allow user to specify them if the two entities
> are not parameterized.

I don't think there needs to be such a restriction, if the "result
value" paragraph is worded carefully.  Something like

        <<Result value.>>  The result is false if A and B have different
        dynamic type.  If KIND is present and has the value true, the
        result is false if corresponding kind type parameters of the
        dynamic types of A and B have different values.  If LEN {same
        words, mutatis mutandis}.  Otherwise the result is true.

This works even if A and B have no corresponding KIND or LEN parameters.

We could restrict KIND and LEN to have initialization-expression actual
arguments, in which case "is present" ought to be "appears".