Commit 109fe5d6 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 5de8e26d
......@@ -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
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
will never 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:
has no chance to be selected since <code> Person &amp; &lt;_>[_ _
&lt;emal>s]</code>=<code>Empty</code> and it warns the programmer by issuing the following warning message:
</p>
<p>
<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