On 09/01/2014 2:56 PM, Jonathan S. Shapiro wrote:
My impression is that three things resolve the concern:1. I do not anticipate interface subtyping in BitC.
Maybe I missed something, but I thought you were going with an OO-like inheritance model.
Sandro
1. Module-level interfaces do not have instances (values). More
precisely: a module-level interface at a type has exactly one
value: the module implementation.
2. Interface types are not polymorphically recursive.
smime.p7s
Description: S/MIME Cryptographic Signature
_______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
