Commit f030ae9a authored by Pietro Abate's avatar Pietro Abate
Browse files

[r2003-07-05 23:02:32 by cvscast] Empty log message

Original author: cvscast
Date: 2003-07-05 23:03:44+00:00
parent 5502d532
......@@ -38,7 +38,7 @@ A preliminary debian/unstable package of CDuce is available <a href="download/de
<section title="Red Hat Packages">
<p>The following packages where compiled and tested on a RedHat 9</p>
<p>The following packages where compiled and tested on Linux RedHat 9</p>
<ul>
<li><a href="download/redhat/cduce-0.1.0-1.i386.rpm">cduce-0.1.0-1.i386.rpm</a></li>
<li><a href="download/redhat/cduce-0.1.0-1.src.rpm">cduce-0.1.0-1.src.rpm</a></li>
......
......@@ -19,6 +19,7 @@ two mutually recursive functions in order to type-check
the transformation. Here, two constraints
in the (highlighted) function interface
can express precisely the behaviour of the function.
A detailed explanation of the code can be found <a href="tutorial_overloading.html#canonical">here</a>.
</p>
<sample>
<include-verbatim file="overloading.cd"/>
......
......@@ -136,7 +136,8 @@ let link_to (Page -> Xa)
let box (x : Flow) : Block =
<table cellpadding="2"
style="font-size:11px ; font-family:arial,sans-serif; border: solid 2px black; background: #ffffff" width="100%">
style="font-size:11px ; font-family:arial,sans-serif;
border: solid 2px black; background: #ffffff" width="100%">
[ <tr> [<td>x] ]
let meta (x : Flow) : Block =
......@@ -261,7 +262,9 @@ match page with
let left =
<td valign="top" align="left">[
<table cellpadding="13" cellspacing="2"
width="200" style="font-size:80%; border: 1px dashed black; background: #ffcd72">
width="200"
style="font-size:80%; border: 1px dashed black;
background: #ffcd72">
(map left with x -> <tr>[ <td>[ (box (content x)) ] ]) ] in
let dpath : Inlines = transform path with
......@@ -273,13 +276,15 @@ match page with
let next = match next with [] -> []
| <page name=n>[ <title>t; _ ] ->
[ <a href=(url_of_name n)>[
<img width="16" height="16" class="icon" alt="Next page" src="img/right.gif">[]
<img width="16" height="16" class="icon" alt="Next page"
src="img/right.gif">[]
' ' !t
] ] in
let prev = match prev with [] -> []
| <page name=n>[ <title>t; _ ] ->
[ <a href=(url_of_name n)>[
<img width="16" height="16" class="icon" alt="Previous page" src="img/left.gif">[]
<img width="16" height="16" class="icon"
alt="Previous page" src="img/left.gif">[]
' ' !t
] ] in
let navig =
......
......@@ -75,7 +75,7 @@ code.
<section title="Complex example">
<a name="canonical"/>
<p>
Let us examine a more complex example. Recall the types used to represent persons
that we defined in Section "<a href="tutorial_getting_started#type_decl">Getting started</a>" that for the purpose of the example we can simplify as follows:
......
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