(j3.2006) derived types with type parameters are different

[Aleksandar Donev]

On Tuesday 29 July 2008 11:04, Bill Long wrote:
> I don't think the situation rises nearly to the
> level of being so hopeless that the feature has to be removed.
There may be confusion here as to what the feature is and what is being 
removed. There are several options:
1) Too drastic: Disallow parameters on SEQUENCE types
2) My vote: Say that SEQUENCE types with parameters are never equivalent among 
each other
3) My second vote: Do it differently for KIND and LENgth parameters, following 
the precedent of INTEGER for the former and CHARACTER for the later
4) I oppose: Jim can tell us what exactly equivalence among symbolic 
expressions we should put in.
Best,
Aleks