Version franēaise
Home     About     Download     Resources     Contact us    
Browse thread
recursive modules: Cannot safely evaluate the definition
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Keiko Nakata <keiko@k...>
Subject: Re: [Caml-list] recursive modules: Cannot safely evaluate the definition
Hello.

I think that functors cannot be recursive in the current OCaml.

You may want to look at the paper found at:

caml.inria.fr/pub/papers/xleroy-recursive_modules-03.pdf

In particular, the footnote in page 6.

With best regards,
Keiko