English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

Ce site est rarement mis à jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml à l'adresse ocaml.org.

Browse thread
[Caml-list] Creating mutually dependent objects?
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2002-08-04 (22:56)
From: Thorsten Ohl <ohl@p...>
Subject: Re: [Caml-list] Creating mutually dependent objects?
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

> Hope this was helpful,

It was.

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