Oh crud. Swaroop points out that if deep mutability is admitted in quasi-terms, then we cannot use quasi-terms in the definition of variables.
I didn't see this coming, mainly because I was only considering the procedure application case. This means, for the moment, that quasi-terms cannot be mutable anywhere, and that basically reduces their value back to the array case and the instance method table case. The array case alone isn't compelling, and the instance method table case is already implicitly specified by the presence of a typeclass type qualifier. So much for that idea. :-) shap _______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
