Commit 5b1e4354 authored by Pietro Abate's avatar Pietro Abate
Browse files

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

Original author: afrisch
Date: 2004-06-29 05:56:40+00:00
parent fdfddb7f
......@@ -159,6 +159,11 @@ can't, because its infinite unfolding is not a regular type.
OCaml object types are not supported.
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 !).
......@@ -311,8 +316,7 @@ Here is the protocol to compile a single CDuce module:
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.
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