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
ed74b4a4
Commit
ed74b4a4
authored
Oct 05, 2007
by
Pietro Abate
Browse files
[r2003-05-16 07:29:54 by cvscast] Empty log message
Original author: cvscast Date: 2003-05-16 07:29:54+00:00
parent
94480009
Changes
1
Hide whitespace changes
Inline
Side-by-side
web/tutorial1.xml
View file @
ed74b4a4
...
...
@@ -99,10 +99,10 @@ let parents : ParentBook =
</right>
</two-columns>
Note the strightforward correspondence between the two notations: instead of
Note the str
a
ightforward correspondence between the two notations: instead of
using an closing tag, we enclose the content of each element in square
brackets. In CDuce square backets denote sequences, that is, heterogen
o
eus (ordered) lists
of blank-separated elements.
brackets. In CDuce square b
r
ackets denote sequences, that is, heterogene
o
us (ordered) lists
of blank-separated elements.
In CDuce strings are not a primitive data-type but are sequences of characters.
To the purpose of the example we used different notations to denote
strings as in CDuce
<code>
"xyz"
</code>
,
<code>
['xyz']
</code>
,
<code>
['x' 'y' 'z']
</code>
,
...
...
@@ -116,11 +116,11 @@ characters.
<box
title=
"Loading XML files"
link=
"t0.5"
>
<p>
The program on the right handside in the previous section starts by binding the
The program on the right hand
-
side in the previous section starts by binding the
variable
<code>
parents
</code>
to the XML document. It also specifies that
parents has the type
<a
href=
"#t1"
><code>
ParentBook
</code></a>
: this is optional
but it usually allows erlier detection of type errors. If the file XML on the
lefthandside is stored in a file, say,
<tt>
parents.xml
</tt>
then the same
but it usually allows e
a
rlier detection of type errors. If the file XML on the
left
hand
-
side is stored in a file, say,
<tt>
parents.xml
</tt>
then the same
binding can be obtained by loading the file as follows
</p>
<sample>
<![CDATA[
...
...
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