[r2004-06-29 05:56:40 by afrisch] Empty log message

Original author: afrisch
Date: 2004-06-29 05:56:40+00:00

web/manual/interface.xml

@@ -159,6 +159,11 @@ can't, because its infinite unfolding is not a regular type.
 OCaml object types are not supported.
 </p>
 
+<p>
+Note that values are copied in depth (until reaching an abstract type,
+a function types, etc...). In particular, translating an OCaml cyclic
+values to CDuce will not terminate (well, with a stack overflow !).
+</p>
 
 </box>
 
@@ -311,8 +316,7 @@ Here is the protocol to compile a single CDuce module:
 
 <p>
   It is possible to run a CDuce module with <code>cduce --run
-  foo.cdo</code>, but only if it doesn't use OCaml values (not
-  currently checked, but please don't try !).
+  foo.cdo</code>, but only if it doesn't use OCaml values.
 </p>
 
 <p>