On Tue, Dec 23, 2014 at 4:57 PM, William ML Leslie < [email protected]> wrote:
> > Oh! Now I see. f is a (deeply immutable 'a) by-ref, not just a > reference to ... Doesn't really matter. Given a region system, there's no real distinction between the two. The point I was trying to make is that things which are true for shallow compatibility and for first-level compatibility are not necessarily true for deep compatibility. shap
_______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
