Yehuda Katz (2013-09-26T22:51:46.000Z)
domenic at domenicdenicola.com (2013-10-13T02:31:39.921Z)
On Thu, Sep 26, 2013 at 3:48 PM, Mark S. Miller <erights at google.com> wrote: > Once you add the registry, all these accidental collisions problems come > back. If you don't add a registry, you lose the ability to duck type across > realms. If that's the case, we haven't thought the registry through well enough. You should get the cross-realm symbol through imports.