Re: automatic tag conversion?

[Stephan Heinemann <zombie@cs.tu-berlin.de>]

Stephan Heinemann <zombie@cs.tu-berlin.de> wrote:

> t: Tag;
> subvar: Subtype;
> ...
> t := supervar'Tag;
> subvar := t'convert(supervar); -- convert(t, supervar)
> polymorphic(subvar);

Of course I don't know what the concrete Subtype is and I don't wanna
know. Therefore the code snippet is wrong. I meant:

polymorphic(t'convert(supervar))

or better and safer (because t may describe a Type not within Supertype)

polymorphic(supervar'TagType)

It is not my lazyness, but I'd like to extend my code without updating
conditionals on Strings. For every new Subtype of Supertype I not only
need to overload the polymorphic procedure but also a String comparation.

Thanks,
Stephan