Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

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: -- (:)
From: Thorsten Ohl <ohl@p...>
Subject: Re: [Caml-list] Creating mutually dependent objects?
John Prevost <> 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. --     [<=== PGP public key here]
To unsubscribe, mail Archives:
Bug reports: FAQ:
Beginner's list: