One notion that has emerged as important in understanding the BitC type system is the notion of "copy compatibility". I have added a discussion of this in section 3.7, and I have added the associated intrinsic/primitive type classes in new section 4.4.
If you plan to enter the "name that type class" contest, this may be helpful stuff. shap _______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
