Commit 2b3c3aab 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 6b49354f
...@@ -93,7 +93,7 @@ elements giving priority to email addresses over telephone numbers. Even if ...@@ -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 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 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: &lt;emal>s]</code>=<code>Empty</code> and it prevents the programmer by issuing the following warning message:
</p> </p>
<p> <p>
...@@ -102,9 +102,9 @@ Warning at chars 144-167:<br/> ...@@ -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/> <i> | <b style="color:red">&lt;_&gt;[_ _ &lt;emal&gt;s] -&gt; [s]</b></i><br/>
This branch is not used<br/> This branch is not used<br/>
<i>fun main_contacts(x : [Person*]):[String*] =<br/> <i>fun main_contacts(x : [Person*]):[String*] =<br/>
transform x with <br/> &#160;&#160;transform x with <br/>
| &lt;_&gt;[_ _ &lt;emal&gt;s] -&gt; [s]<br/> &#160;&#160;&#160;&#160;&#160;| &lt;_&gt;[_ _ &lt;emal&gt;s] -&gt; [s]<br/>
| &lt;_&gt;[_ &lt;tel&gt;s ] -&gt; [s]</i> &#160;&#160;&#160;&#160;&#160;| &lt;_&gt;[_ &lt;tel&gt;s ] -&gt; [s]</i>
<br/> <br/>
- : [ Person* ] -&gt; [ String* ] = &lt;fun&gt;<br/> - : [ Person* ] -&gt; [ String* ] = &lt;fun&gt;<br/>
<br/> <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