[Omake] Build problem with OCaml release candidate

[Markus Mottl]

On Dec 21, 2007 3:05 PM, Aleksey Nogin <nogin at metaprl.org> wrote:
> It would appear that the RC1 has a problem with typing of recursive
> modules :-(
>
> I would recommend bugging people on the OCaml list with this...

I posted a bug report to the OCaml bug tracker last week, and Xavier
Leroy has already fixed the problem.  The OCaml type checker was
actually unsound with recursive modules in OCaml 3.10.0.  This problem
had been fixed in the release candidate, but the fix was too strict.
It was possible to relax this restriction without reintroducing
unsoundness, and OMake now compiles again.

Regards,
Markus

-- 
Markus Mottl        http://www.ocaml.info        markus.mottl at gmail.com