John Prevost <j.prevost@cs.cmu.edu> writes:

> Value constructors [...] are not allowed to run code--they just plop
> the value down in the appropriate place.  And even then, if they're
> hidden behind functions, they can't be used this way, since it's
> *syntactic analysis* of the code that allows these constructions to
> be used in a let rec.

I see.  My error was to overlook that a typechecker can't figure out
that the mutual references are never used as arguments to non trivial
functions.

> Hope this was helpful,

It was.

Thanks,
-Thorsten
-- 
Thorsten Ohl, Physics Dept., Wuerzburg Univ. -- ohl@physik.uni-wuerzburg.de
http://theorie.physik.uni-wuerzburg.de/~ohl/     [<=== PGP public key here]
-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners