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
aa0afdd7
Commit
aa0afdd7
authored
Jul 10, 2007
by
Pietro Abate
Browse files
[r2003-07-11 00:51:35 by cvscast] Beppe: small differences
Original author: cvscast Date: 2003-07-11 00:51:35+00:00
parent
821c50b1
Changes
1
Show whitespace changes
Inline
Side-by-side
web/tutorial/overloading.xml
View file @
aa0afdd7
...
...
@@ -136,7 +136,13 @@ that are of type <code>FPerson</code>.
<p>
On the next line we define
<code>
tag
</code>
to be
<code>
`man
</code>
or
<code>
`woman
</code>
according to the value of
<code>
g
</code>
. Then we
<code>
`man
</code>
or
<code>
`woman
</code>
according to the value of
<code>
g
</code>
.
</p>
<sample>
<![CDATA[
let tag = match g with "F" ->
`woman | "M" -> `man
]]>
</sample>
<p>
Then we
apply
<code>
split
</code>
recursively to the elements of
<code>
mc
</code>
and
<code>
fc
</code>
.
</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