[r2005-08-24 16:54:55 by afrisch] Empty log message

Original author: afrisch
Date: 2005-08-24 16:54:55+00:00

web/ocaml.xml

@@ -35,17 +35,14 @@ been reused.
 The build procedure for OCamlDuce is exactly the same as for OCaml:
 <tt>configure, make world, make install</tt>. The names of the tools
 are unchanged: <tt>ocaml,ocamlc,ocamlopt</tt>. Currently, OCamlDuce
-is based on CVS snapshots of OCaml (between 3.08.3 and the current
-<tt>release308</tt> branch) and CDuce (between 0.3.91 and the head).
+is based on OCaml 3.08.4 and on a CVS snapshots 
+of CDuce (between 0.3.92 and the head).
 </p>
 
 <ul>
 <li><a
-href="http://pauillac.inria.fr/~frisch/ocamlcduce/download/cduce-ocaml-0.0.5.tar.gz">Compiler,
-version 0.0.5</a></li>
-<!--<li><a
-href="http://pauillac.inria.fr/~frisch/ocamlcduce/download/xml-support-0.0.4.tar.gz">Support
-library, version 0.0.4</a></li>-->
+href="http://pauillac.inria.fr/~frisch/ocamlcduce/download/ocamlduce-3.08.4.tar.gz">Compiler,
+version 3.08.4</a></li>
 </ul>
 
 <p>
@@ -1104,6 +1101,26 @@ tail-recursive way. You can safely use it on very long sequences.
 
 </section>
 
+</box>
+
+<box title="OCaml and OCamlDuce" link="ocaml">
+
+<p>
+Since the 3.08.4 release, OCamlDuce is binary compatible with the corresponding
+OCaml release. This means that OCamlDuce can use OCaml-generated
+<tt>.cmi</tt> files and that it produces an OCaml-compatible
+<tt>.cmi</tt> file if the interface does not use any x-type
+(this file is equal to what would have been obtained by using OCaml).
+</p>
+
+<p>
+It is thus possible to use existing libraries which were compiled for
+OCaml 3.08.4. It is also possible to use OCamlDuce to compile
+some modules and use them in an OCaml project provided their interface
+is pure OCaml.
+</p>
+
+
 </box>
 
 <box title="Code samples" link="code">