On Thu, Nov 4, 2010 at 2:41 PM, Jonathan S. Shapiro <[email protected]> wrote:
> Step 1: Observe that an array (at least in BitC) is either mutable at all
> positions or immutable at all positions. The types "array(mutable char)" and
> "mutable array(char )" are equivalent, and the hypothetical type "mutable
> array(immutable char)" is nonsense.

what if the array-contents-type is not a value-type?
_______________________________________________
bitc-dev mailing list
[email protected]
http://www.coyotos.org/mailman/listinfo/bitc-dev

Reply via email to