>
> On 09-Jul-1998, Johannes Waldmann <[EMAIL PROTECTED]> wrote:
> > data / type / newtype:
> >
> > i'd like to have these choices
> >
> > type T1 = record C1 .. | C2 ..
> > type T2 = T1
> > type T3 = new T2
> >
> > with T2 identical to T1,
> > and T3 being an identical copy of T2 (but different from T2)
> > inheriting all its constructors and operations.
>
> What exactly do you mean by inheriting all its operations?
........................................
> --
> Fergus Henderson <[EMAIL PROTECTED]> | "I have always known that the pursuit
> WWW: <http://www.cs.mu.oz.au/~fjh> | of excellence is a lethal habit"
> PGP: finger [EMAIL PROTECTED] | -- the last words of T. S. Garp.
>
This is what Ada calls derived types. The proposal is basically the
derived type mechanism of Ada (which relies on overloading). There
might be useful design ideas to be found in there.
--
Anthony Shipman "You've got to be taught before it's too late,
TUSC Computer Systems Pty Ltd Before you are six or seven or eight,
666 Doncaster Rd, Doncaster To hate all the people your relatives hate,
Melbourne, Australia, 3108 You've got to be carefully taught." R&H
