(j3.2006) derived types with type parameters are different
Tue Jul 29 14:14:11 EDT 2008
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
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.
More information about the J3