[Caml-list] ocamldoc type-checking error

[Caml-list] ocamldoc type-checking error

[Virgile Prevosto]

Hello list,

I have some trouble compiling the API documentation of a fairly large
project with ocamldoc. Unfortunately, I did not succeed in reproducing
the issue on a reduced example. Here are the symptoms:
- The command line is ocamldoc -I ...  ... a.ml b.ml ... It fails with
an error message saying
File "b.ml", line 91, characters 58-60:
Error: This expression has type
        Foo.t = Bar.t
       but an expression was expected of type Baz.t
Baz.t being another synonym of Bar.t
- if you reverse a.ml and b.ml on the command line, everything works
fine (a.ml and b.ml are independent from each other, although they
share some common dependencies, in particular Foo, Bar and Baz)
- it only appears on OCaml 4.00.0 and 4.00.1: 3.12.1 is fine

As there is a workaround, solving this issue is not really urgent, but
I'd like to know if someone has a clue on how to investigate further.

Best regards,
-- 
E tutto per oggi, a la prossima volta
Virgile