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

[r2004-03-14 14:22:30 by jdemouth] Correction coquilles.

Original author: jdemouth
Date: 2004-03-14 14:22:30+00:00
parent 86bed4be
......@@ -82,7 +82,7 @@ Note that there are two rules to respect when creating your interface file:
</li>
</ul>
<p>
What <i>compatible</i> means? We have defined a canonical translation
What does <i>compatible</i> mean? We have defined a canonical translation
<code>T()</code> from OCaml types to CDuce types (see next frame). The
OCaml type declared for a CDuce expression in a <code>.mli</code> is
compatible with the CDuce type of the expression if the latter is a
......@@ -115,9 +115,9 @@ T($$char$$) = Char
T($$int$$) = -1073741824 -- 1073741823
T($$string$$) = Latin1
T($$unit$$) = []
T( $$%%t%%$$ $$*$$ $$%%u%%$$ ) = ( T($$%%t%%$$) , T($$%%u%%$$) )
T($$%%t%%$$ $$->$$ $$%%u%%$$) = T($$%%t%%$$) | T($$%%u%%$$)
T($$%%t%%$$ $$|$$ $$%%u%%$$) = T($$%%t%%$$) -> T($$%%u%%$$)
T($$%%t%%$$ $$*$$ $$%%u%%$$) = ( T($$%%t%%$$) , T($$%%u%%$$) )
T($$%%t%%$$ $$->$$ $$%%u%%$$) = T($$%%t%%$$) -> T($$%%u%%$$)
T($$%%t%%$$ $$|$$ $$%%u%%$$) = T($$%%t%%$$) | T($$%%u%%$$)
T($$%%t%%$$ $$list$$) = [ T($$%%t%%$$)* ]
T($$A$$) = `A
T($$A of$$ $$%%t%%$$) = ( `A, T($$%%t%%$$) )
......
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