Commit 0b74ce52 authored by Pietro Abate's avatar Pietro Abate
Browse files

[r2004-07-04 09:51:10 by beppe] Fixed few errors and typos

Original author: beppe
Date: 2004-07-04 09:51:10+00:00
parent 56590afb
......@@ -22,7 +22,7 @@ The intended usages for the interface are:
</p>
<ul>
<li>Piggyback existing OCaml libraries, such as database,
network, GUI, datastructures;</li>
network, GUI, data structures;</li>
<li>Use CDuce as an XML layer (input/output/transformation) for OCaml
projects;</li>
<li>Develop fully mixed OCaml/CDuce projects.</li>
......@@ -30,7 +30,7 @@ The intended usages for the interface are:
<p>
To see how to build CDuce with support for the OCaml interface,
see the INSTALL file from the CDuce distribution.
see the <a href="INSTALL">INSTALL</a> file from the CDuce distribution.
</p>
......@@ -63,7 +63,7 @@ Labels and optional labels on the argument of the arrow are discarded.
</li>
<li>
A list type <code>%%t%% list</code> is translated to an homogenous
A list type <code>%%t%% list</code> is translated to an homogeneous
sequence type <code>[ T(%%t%%)* ]</code>. An array type
<code>%%t%% array</code> has the same translation.
</li>
......@@ -120,8 +120,8 @@ The canonical translation is summarized in the following box:
<table border="1" style="align:middle">
<tr>
<th>CDuce type <tt><i>t</i></tt></th>
<th>OCaml type <tt>T(<i>t</i>)</tt></th>
<th>OCaml type <tt><i>t</i></tt></th>
<th>CDuce type <tt>T(<i>t</i>)</tt></th>
</tr>
<tr><td><tt>char</tt></td><td><tt>Byte = '\0;'--'\255;'</tt></td></tr>
<tr><td><tt>int</tt></td><td><tt>-1073741824 -- 1073741823</tt></td></tr>
......@@ -206,7 +206,7 @@ to CDuce. Actually, you can simply write <code>M.f</code>.
<p>
If the value you want to use has a polymorphic type, you can make
the translation work by explicitly instantiating its type
variables with CDuce types. The syntaxe is <code>external { "M.f" t1
variables with CDuce types. The syntax is <code>external { "M.f" t1
... tn }</code> where the <code>ti</code> are CDuce types. The type
variables are listed in the order they appear in a left-to-right
reading of the OCaml type. Example:
......
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