From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by sympa.inria.fr (Postfix) with ESMTPS id E83D77EE94 for ; Fri, 4 Jan 2013 18:29:14 +0100 (CET) Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender authenticity information available from domain of virgile.prevosto@gmail.com) identity=pra; client-ip=209.85.214.178; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="virgile.prevosto@gmail.com"; x-sender="virgile.prevosto@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail1-smtp-roc.national.inria.fr: domain of virgile.prevosto@gmail.com designates 209.85.214.178 as permitted sender) identity=mailfrom; client-ip=209.85.214.178; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="virgile.prevosto@gmail.com"; x-sender="virgile.prevosto@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-ob0-f178.google.com) identity=helo; client-ip=209.85.214.178; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="virgile.prevosto@gmail.com"; x-sender="postmaster@mail-ob0-f178.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AugBAK0Q51DRVdayjmdsb2JhbABFvUUIFg4BAQEBCQsJCRIGI4JlATkDDQUQXRIBBQEiiBUDD5cGgm2PLoRxJw2GNwEFDJEJA5YLjmgWKYFYgj8 X-IronPort-AV: E=Sophos;i="4.84,411,1355094000"; d="scan'208";a="188496915" Received: from mail-ob0-f178.google.com ([209.85.214.178]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 04 Jan 2013 18:29:14 +0100 Received: by mail-ob0-f178.google.com with SMTP id eh20so14726726obb.23 for ; Fri, 04 Jan 2013 09:29:12 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:sender:date:x-google-sender-auth:message-id:subject :from:to:content-type; bh=Ay4CWJ/6PjDJGUvFYoGFvpo33v01RYSFyl0pomcffvQ=; b=mOiHzkbX5KayQmznVZwwxklraewCjaQEZ1p5B7Y5Q1Rx1i2QE6gLI/b30ytPztG7sd LBv3ybQs4HL5fdO8KMw63o4yx7dJB8Kq56Hjhw4c5+Vt+F3rKhRFSAhRYuSpFik8MeUp F4skZ1Pe+1BgFCm2+KCoNHCwM4/uKthLFELVGpFDwoFirXGpxl6LWE8bFe1/vPrPLkRG FjrEUI8BJj6o9S6lw4sYepNY6Q8lUKf/phOwo4qGGkWZQTufTOipp+6ptCwC0gyVakPw 1vazJyeo5WuiJ8qrKT7URrRaP/uwhbnGhVdatFQQnomPKd6FifUQvA0MfUzRYKSsDhIN ycaw== MIME-Version: 1.0 Received: by 10.60.170.242 with SMTP id ap18mr29692883oec.97.1357320552741; Fri, 04 Jan 2013 09:29:12 -0800 (PST) Sender: virgile.prevosto@gmail.com Received: by 10.76.35.199 with HTTP; Fri, 4 Jan 2013 09:29:12 -0800 (PST) Date: Fri, 4 Jan 2013 18:29:12 +0100 X-Google-Sender-Auth: n4189dXl-__-Prjz2inGlPmi-Ag Message-ID: From: Virgile Prevosto To: OCAML Content-Type: text/plain; charset=ISO-8859-1 Subject: [Caml-list] ocamldoc type-checking error 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