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

[Andy Vaught]

On Tue, 29 Jul 2008, Aleksandar Donev wrote:

> On Tuesday 29 July 2008 13:46, Michael Ingrassia wrote:
> > If it causes significant loss of functionality, what exactly is the
> > functionality that we lose?

> I (and probably Lawrie andothers) agree, but there is the issue of backward 
> compatibility and simply not making "language design" changes 
> retroactively---only fixes of techical messups.

  You're worried about backwards compatibility on a feature that few
compilers have implemented.  Surely, very few people are today depending
on parametrized derived types and even fewer are further depending on the
compiler to figure out that n+n is the same as 2*n in a sequence type.

     Andy