On Fri, Jul 4, 2014 at 3:19 PM, Jonathan S. Shapiro <[email protected]> wrote: > Since I'm not sure whether we will even have object ids, I'm not sure how to > respond. The real question would be whether EQ type checks over that > reference comparison.
I don't see a case where that wouldn't just be a different way of asking the same question. > I think we should take the question of the object ID notion up separately. Well it sure looks like we should take it up. But I think it's important for object id to be harmonious (for lack of a specific term) with the way capabilities control permissions. (In case it wasn't clear, that wasn't a specific proposal, I'm just saying there's an interaction to worry about.) _______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
