2

I'm learning Ocaml language but i have a problem with my modules when i want to compile them. So, I have a module with the name Door and an other one with the name Case. Into each one, i have a type paramater with the other module :

Door.mli
type t = bool -> Case.u -> t

Case.mli
type u = bool -> Door.t -> u

When i want to compile, i have this error : File "door.mli", line 14, characters 23-29: Error: Unbound module Case

Have you got an idea ?

Thanks you

2 Answers 2

2

You have two mutually recursive modules, which is always tricky. One way to get them to work is to define them in the same file using module rec A ... and B ....

However, you also have the problem that your types are cyclic. The definition:

type t = bool -> Case.u -> t

is not normally accepted by OCaml either. You can get it to be accepted by specifying -rectypes on the compiler or interpreter command line.

I fear that you'll find these structures to be difficult to work with. The reason they're difficult to define is that they're not usually what you want. You might try starting with more straightforward types if possible.

0
1

My advice: get those two types out of door.ml and case.ml, and make Door and Case depend on a common Types module with:

type door = Door of bool -> case -> door
and case = Case of bool -> door -> case

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.