(j3.2006) Problem with default expressions for kind type parameters?

[Malcolm Cohen]

>> The kind type parameter as a constant expression was meant for component
>> definition statements only.  You are right in that it does not say that, and
>> that is because the "default value" stuff was added later, indeed at the last
>> minute.
>>
>> Simply changing item (9) to
>>    "a previously declared kind type parameter of the type being defined"
>> would work reasonably well.
>
>Do we need an interp to repair this, or can we just add it to the list
>of "editorial" changes?

Looks like interp fodder to me... this is the "obvious" repair, but other 
repairs are possible.

Cheers,
-- 
................................Malcolm Cohen, Nihon NAG, Tokyo.