The example at the end of 6.9.2 contains the following code: s1.v1 = s2.v1; // legal - both types from package p1 (rule 8) s1.v2 = s2.v2; // legal - both types from $unit (rule 4) s1.v3 = s2.v3; // legal - both types from top (rule 2) s1.v4 = s2.v4; // legal - both types are int (rule 1) s1.v5 = s2.v5; // illegal - types from s1 and s2 (rule 4) The problem is that these comments are referencing rules in 6.9.1, whereas 6.9.2 has a different set of rules. Shalom Bresticker Intel Jerusalem LAD DA +972 2 589-6852 +972 54 721-1033 I don't represent IntelReceived on Thu Nov 24 06:52:43 2005
This archive was generated by hypermail 2.1.8 : Thu Nov 24 2005 - 06:55:25 PST