This message illustrates how safe casting with multiple universes can
be extended to new user-defined, polymorphic datatypes. We show a
_portable_ mapping of polymorphic types to integers. Different
instances of a polymorphic type map to different integers. Phantom
types can be either disregarded
[EMAIL PROTECTED] wrote:
>
> This is a "Related Work" section of the previous message.
>
> ... again cunning stuff omitted ...
>
I buy most of this
but IMHO you should make very clear
that there is not just a single safeCoerce, but the TI/init_typeseq
argument has to be constructed and supplied
This is a "Related Work" section of the previous message. We compare
three main methods of achieving safe casts. It seems that the method
proposed in the earlier message is quite different -- especially in
terms of extensibility. In this message, we compare the extensibility
of four techniques. St