Commit 7d391b10 authored by Pietro Abate's avatar Pietro Abate
Browse files

[r2005-08-11 09:30:28 by afrisch] typo

Original author: afrisch
Date: 2005-08-11 09:30:28+00:00
parent 004639ab
......@@ -37,7 +37,7 @@ The command runs the script <code>{{script}}.cd</code>.
<li>
<sample>
cduce [OPTIONS ...] --compile {{script}}.cd [--arg ARGUMENT ...]
cduce [OPTIONS ...] --compile {{script}}.cd
</sample>
<p>
The command compiles the script <code>{{script}}.cd</code> and
......
......@@ -164,7 +164,7 @@ fun main_contacts(x : [Person*]):[String*] =
| <_>[_ <tel>s ] -> [s]
]]></sample>
<p>
This function was supposed extract the list of contacts from a list of persons
This function was supposed to extract the list of contacts from a list of persons
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
......
......@@ -38,7 +38,7 @@ The general form of a toplevel function declaration is indeed:
let %%f%% (%%t1%%->%%s1%%;...;%%tn%%->%%sn%%) %%p1%% -> %%e1%% | ... | %%pm%% -> %%em%%
]]></sample>
<p>
(the first vertical bar and the <code>fun</code> keyword are optional). Such a function accepts arguments of type
Such a function accepts arguments of type
(<code>%%t1%%|...|%%tn%%</code>); it has all the types <code>%%ti%%->%%si%%</code>, and,
thus, it also has their intersection <code>%%t1%%->%%s1%%&amp;...&amp;%%tn%%->%%sn%%</code>
</p>
......
......@@ -14,7 +14,7 @@ test it on the <a href="cgi-bin/cduce">online interpreter</a>.
<box title="Select from where" link="sel">
<b style="color:#FF0080">WE SHOULD REWRITE THIS SECTION TO
GET READ OF THE MANY TYPE DEFINITIONS. JUST USE THE ONE
GET RID OF THE MANY TYPE DEFINITIONS. JUST USE THE ONE
OF USE CASES</b>
......
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