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
790a5456
Commit
790a5456
authored
Oct 05, 2007
by
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
f39e9d13
Changes
2
Hide whitespace changes
Inline
Side-by-side
web/manual/expressions.xml
View file @
790a5456
...
...
@@ -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 prov
ably a
type
<code>
[ '-'? '0'--'9'+ ]
</code>
.
can
not
be
prov
ed to be of
type
<code>
[ '-'? '0'--'9'+ ]
</code>
.
</p>
</section>
...
...
@@ -567,7 +567,7 @@ There are two operators available to dump a CDuce string to a file:
</p>
<sample>
<![CDATA[
dump_to_file %%e1%% %%e2%%
load
_file_utf8 %%e1%% %%e2%%
dump_to
_file_utf8 %%e1%% %%e2%%
]]>
</sample>
<p>
The first one creates an ISO-8859-1 encoded file (it fails
...
...
web/manual/types_patterns.xml
View file @
790a5456
...
...
@@ -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>
.
</p>
<sample>
<![CDATA[
type T = S | (S,S);; (* INVALID
! *)
type S = T;;
type T = S | (S,S);; (* INVALID! *)
type S = T;;
(* INVALID! *)
]]>
</sample>
</box>
...
...
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