Re: [Caml-list] Specifying recursive modules?

2008-08-20 Thread Martin Jambon
On Wed, 20 Aug 2008, Jérémie Lumbroso wrote: Hello, I'd always thought of separating specification and definition as simply not possible in OCaml, but OCaml's reference manual (3.10, which is, as far as I can tell, the most recent version of the documentation) seems to contradict my

Re: Re : [Caml-list] Specifying recursive modules?

2008-08-20 Thread Jérémie Lumbroso
Thank you both for your help. I had not tried to encapsulate the specification inside a module type, but I had tried the .mli file: a careless typo (module rec Tmp = sig ... instead of module rec Tmp : sig ...) made me think I was obtaining the same error as with the toplevel. Jérémie On Wed,