Jonathan S. Shapiro wrote: [...] > (ref-types 'a) is (ref 'a) or (vector 'a) or String. That is: > anything heap-allocated. > > (copy-compat 'a 'b) describes any two types 'a, 'b that are > compatible under assignment. That is 'a=='b > ignoring shallow mutability. > > (top-copy-compat 'a 'b) 'a=='b, 'a==(mutable 'b), or (mutable 'a)==b. > That is: 'a=='b ignoring outermost mutability. > > > We need decent names for these. My personal inclinations are: > > ref-types => RefType? (definitely remove plural, shift to word caps) > copy-compat => Compat?
Use 'Compatible'; the abbreviation sounds ugly. > but I have absolutely no useful thoughts for what to call > top-copy-compat. What is it intended to be useful for? -- David-Sarah Hopwood _______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
