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 by the
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.