On Wed, Jan 7, 2015 at 4:52 PM, William ML Leslie < [email protected]> wrote:
> > I'm not sure why the callee cares about the instances available for > inference to the caller. Hmm. Maybe if the mangling is done correctly the callee *doesn't* care. Of course, it depends on whether Keeane buys my argument about soundness under the assumption of explicit instantiation. shap
_______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
