There are probably a few weird hacks that rely on true port polymorphism. But most of the uses can be described as interface subtyping (e.g. file_t and socket_t are subtypes of io_t).
_______________________________________________ Bug-hurd mailing list [EMAIL PROTECTED] http://mail.gnu.org/mailman/listinfo/bug-hurd
