On Thu, Nov 4, 2010 at 6:34 PM, Ben Kloosterman <[email protected]> wrote:

> Ah I see my mistake , your just using the regions in the compiler not at
> run
> time.


Yes. Basically, the idea is to use common labels as a way of
identifying/gathering "like" things. In the case I'm *currently* thinking
about, this is a purely static labelling scheme.


> but knowing an object or static root is immutable is also very useful
> to a GC or run time clone / threading routine...


Yes. This is a use of regions that is (partly) dynamic. I suspect no type
tag bit is necessary to support this.


shap
_______________________________________________
bitc-dev mailing list
[email protected]
http://www.coyotos.org/mailman/listinfo/bitc-dev

Reply via email to