language/oop5/variance.xml
76874c0982c06b2cdfeb12427bb319e34c6066d8
...
...
@@ -18,7 +18,14 @@
18
18
<itemizedlist>
19
19
<listitem>
20
20
<simpara>
21
-
A type is removed from a union type
21
+
A type is removed from a
22
+
<link linkend="language.types.type-system.composite.union">union type</link>
23
+
</simpara>
24
+
</listitem>
25
+
<listitem>
26
+
<simpara>
27
+
A type is added to an
28
+
<link linkend="language.types.type-system.composite.intersection">intersection type</link>
22
29
</simpara>
23
30
</listitem>
24
31
<listitem>
...
...
@@ -28,7 +35,7 @@
28
35
</listitem>
29
36
<listitem>
30
37
<simpara>
31
-
<type>float</type> is changed to <type>int</type>
38
+
<type>iterable</type> is changed to <type>array</type> or <classname>Traversable</classname>
32
39
</simpara>
33
40
</listitem>
34
41
</itemizedlist>
...
...
@@ -218,7 +225,7 @@ Mavrick eats Food
218
225
</screen>
219
226

220
227
<para>
221
-
But what happens if <varname>$kitty</varname> tries to <varname>eat</varname> the
228
+
But what happens if <varname>$kitty</varname> tries to <methodname>eat</methodname> the
222
229
<varname>$banana</varname>?
223
230
</para>
224
231

225
232