Commit ee4bddf0 authored by Pietro Abate's avatar Pietro Abate
Browse files

[r2003-10-03 20:52:57 by cvscast] Beppe: typos

Original author: cvscast
Date: 2003-10-03 20:52:57+00:00
parent 623cb69c
...@@ -99,8 +99,8 @@ elements giving priority to email addresses over telephone numbers. Even if ...@@ -99,8 +99,8 @@ elements giving priority to email addresses over telephone numbers. Even if
there is a typo in the pattern of the first branch, the function is well there is a typo in the pattern of the first branch, the function is well
typed. However because of the typo the first branch will never be selected and typed. However because of the typo the first branch will never be selected and
emails never printed. The CDuce type-checker however recognizes that this branch emails never printed. The CDuce type-checker however recognizes that this branch
will never be selected since <code> Person &amp; &lt;_>[_ _ has no chance to be selected since <code> Person &amp; &lt;_>[_ _
&lt;emal>s]</code>=<code>Empty</code> and it prevents the programmer by issuing the following warning message: &lt;emal>s]</code>=<code>Empty</code> and it warns the programmer by issuing the following warning message:
</p> </p>
<p> <p>
<tt> <tt>
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment