Commit 82a72310 authored by Pietro Abate's avatar Pietro Abate
Browse files

[r2003-05-22 21:18:45 by cvscast] Correction typos. Beppe

Original author: cvscast
Date: 2003-05-22 21:18:45+00:00
parent 3e4332c5
......@@ -515,7 +515,7 @@ E.g.: <code>atom_of "x"</code> evaluates to <code>`x</code>
The operator <code>int_of</code> converts a string to an integer.
It fails if the string is not a decimal representation of
an integer. There is a type-checking warning when the argument
is not provably a type <code>[ '-'? '0'--'9'+ ]</code>.
cannot be proved to be of type <code>[ '-'? '0'--'9'+ ]</code>.
......@@ -567,7 +567,7 @@ There are two operators available to dump a CDuce string to a file:
dump_to_file %%e1%% %%e2%%
load_file_utf8 %%e1%% %%e2%%
dump_to_file_utf8 %%e1%% %%e2%%
The first one creates an ISO-8859-1 encoded file (it fails
......@@ -115,14 +115,14 @@ works for recursive patterns (for which there is no toplevel declarations).
There is an important restriction concerning recursive types:
any cycle must cross a <em>type constructor</em> (pairs, records, XML
elements, arrows). Boolean connectives do <em>not</em> count as type
constructors ! The code sample above is a correct definition.
constructors! The code sample above is a correct definition.
The one below is invalid, because there is an unguarded cycle
between <code>T</code> and <code>S</code>.
type T = S | (S,S);; (* INVALID ! *)
type S = T;;
type T = S | (S,S);; (* INVALID! *)
type S = T;; (* INVALID! *)
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