Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
cduce
cduce
Commits
5914247b
Commit
5914247b
authored
Jul 10, 2007
by
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
7de42c84
Changes
1
Hide whitespace changes
Inline
Side-by-side
web/manual/interface.xml
View file @
5914247b
...
...
@@ -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 homogen
e
ous
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 syntax
e
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:
...
...
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment