Oh. I considered the alternative of declaring that all Interface types are lifetime-limited types, such that interface objects would be allocated in let-like fashion and would not be permitted to escape their let binding context.
The problem with this is that there are really good reasons to let people cart around interface references to heap-allocated objects without that sort of lifetime restrictions. We need some syntax for region-restricting let bindings in any case, and I think that will turn out to have practical value for interface instance bindings, but I think the two need to be handled as separate concepts and mechanisms in the language. shap
_______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
