[r2003-07-08 07:47:57 by cvscast] Empty log message

Original author: cvscast
Date: 2003-07-08 07:47:57+00:00

web/tutorial/overloading.xml

@@ -146,9 +146,9 @@ apply <code>split</code> recursively to the elements of <code>mc</code> and <cod
 ]]></sample>
 <p>
 Here is
-the use of overloading: since <code>mc</code> is of type <code>[MPerson*]</code>}, then
+the use of overloading: since <code>mc</code> is of type <code>[MPerson*]</code>, then
 by the overloaded type of <code>split</code> we can deduce that <code>s</code> is of type
-<code>[Man*]</code>}; similarly we deduce for <code>d</code> the type <code>[Woman*]</code>. From this
+<code>[Man*]</code>; similarly we deduce for <code>d</code> the type <code>[Woman*]</code>. From this
 the type checker deduces that the expressions <code>&lt;sons>s</code> and
 <code>&lt;daughters></code> are of type <code>Sons</code> and <code>Daughters</code>, and therefore it
 returns for the <code>split</code> function the type <code>(MPerson -> Man) &amp; (FPerson