Hello
I'm having an issue that is similar to the one reproduced in the code
below:
a.ml:
module SubA :
sig
type t
val f : t - unit
val id : t - int
end =
struct
type t = { id: int }
let f = B.f
let id x = x.id
end
a.mli:
module SubA :
sig
type t
val f
Firstly, you have a circular dependency. How are you compiling? That should
be the first error you get.
On Tue, Jul 15, 2008 at 6:51 PM, Andre Nathan [EMAIL PROTECTED] wrote:
I think this is similar to this simpler problem:
a.ml:
type t = { id: int }
let f x = print_int x.id; B.f x
Hi
I've run this:
ocamlc -c a.mli
ocamlc -c b.mli
ocamlopt -c a.ml
The third command gives the error. I thought that the circular
dependency problem was related only to mutually-dependent types on
separate modules, but I guess I was wrong.
Searching the archives, it seems that the solution is
On Tue, 15 Jul 2008, Andre Nathan wrote:
Hi
I've run this:
ocamlc -c a.mli
ocamlc -c b.mli
ocamlopt -c a.ml
The third command gives the error. I thought that the circular
dependency problem was related only to mutually-dependent types on
separate modules, but I guess I was wrong.
Searching
