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

[r2003-09-23 12:09:47 by cvscast] Empty log message

Original author: cvscast
Date: 2003-09-23 12:10:41+00:00
parent be617b7c
......@@ -93,7 +93,7 @@ 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 as <code> Person &amp; &lt;_>[_ _
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:
......@@ -102,9 +102,9 @@ Warning at chars 144-167:<br/>
<i> | <b style="color:red">&lt;_&gt;[_ _ &lt;emal&gt;s] -&gt; [s]</b></i><br/>
This branch is not used<br/>
<i>fun main_contacts(x : [Person*]):[String*] =<br/>
transform x with <br/>
| &lt;_&gt;[_ _ &lt;emal&gt;s] -&gt; [s]<br/>
| &lt;_&gt;[_ &lt;tel&gt;s ] -&gt; [s]</i>
&#160;&#160;transform x with <br/>
&#160;&#160;&#160;&#160;&#160;| &lt;_&gt;[_ _ &lt;emal&gt;s] -&gt; [s]<br/>
&#160;&#160;&#160;&#160;&#160;| &lt;_&gt;[_ &lt;tel&gt;s ] -&gt; [s]</i>
- : [ Person* ] -&gt; [ String* ] = &lt;fun&gt;<br/>
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