From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 39ABD7EEBF for ; Sun, 28 Jun 2015 19:04:27 +0200 (CEST) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of steph@glondu.net) identity=pra; client-ip=138.231.136.39; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="steph@glondu.net"; x-sender="steph@glondu.net"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of steph@glondu.net) identity=mailfrom; client-ip=138.231.136.39; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="steph@glondu.net"; x-sender="steph@glondu.net"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of postmaster@redisdead.crans.org designates 138.231.136.39 as permitted sender) identity=helo; client-ip=138.231.136.39; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="steph@glondu.net"; x-sender="postmaster@redisdead.crans.org"; x-conformance=sidf_compatible; x-record-type="v=spf1" X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0CrAQAvKJBVnCeI54pBGg6CWH9fAb8ahXgCgRtMAQEBAQEBEgEBAQEBCBQJT4QjAQEDASNVAQULCxoCBRYLAgIJAwIBAgFFBg0BBwKIIwgBDDq4B5V3AQEBAQYBAQEBAQEBARqBIYophFMzB4JogUMFjBKFFYJdhFmGfIF8lj+CMhyBFEBtAYJHAQEB X-IPAS-Result: A0CrAQAvKJBVnCeI54pBGg6CWH9fAb8ahXgCgRtMAQEBAQEBEgEBAQEBCBQJT4QjAQEDASNVAQULCxoCBRYLAgIJAwIBAgFFBg0BBwKIIwgBDDq4B5V3AQEBAQYBAQEBAQEBARqBIYophFMzB4JogUMFjBKFFYJdhFmGfIF8lj+CMhyBFEBtAYJHAQEB X-IronPort-AV: E=Sophos;i="5.13,694,1427752800"; d="scan'208";a="138163662" Received: from redisdead.crans.org ([138.231.136.39]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/ADH-AES256-SHA; 28 Jun 2015 19:04:26 +0200 Received: from [IPv6:2001:470:c953:3100:230:1bff:fe81:7f08] (korell.up7.fr [IPv6:2001:470:c953:3100:230:1bff:fe81:7f08]) (using TLSv1.2 with cipher ECDHE-RSA-AES128-GCM-SHA256 (128/128 bits)) (No client certificate requested) by redisdead.crans.org (Postfix) with ESMTPSA id 84B76D9; Sun, 28 Jun 2015 19:04:25 +0200 (CEST) Message-ID: <55902918.3090401@glondu.net> Date: Sun, 28 Jun 2015 19:04:24 +0200 From: =?UTF-8?B?U3TDqXBoYW5lIEdsb25kdQ==?= User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:31.0) Gecko/20100101 Icedove/31.6.0 MIME-Version: 1.0 To: Jacques Garrigue CC: OCaML List Mailing , 790062@bugs.debian.org References: <558D94EB.3020902@glondu.net> In-Reply-To: OpenPGP: id=58EB0999C64E897EE894B8037853DA4D49881AD3 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Subject: Re: [Caml-list] Change in typing between OCaml 4.01.0 and 4.02.2... Le 28/06/2015 11:44, Jacques Garrigue a =C3=A9crit : >> I think this is a result of tighter checks against self-references >> when compiling modules: >> >> http://caml.inria.fr/mantis/view.php?id=3D6886 >=20 > Indeed, this seems to be the direct cause. > Note that the behavior of referring to oneself through an external > name was never properly defined (most often it would already fail > and even when succeeding it was referring to another definition). > The correct way to do this is either to duplicate the definition of > status in both app and query (removing the cyclic dependency), > or to define it in another file, which can be correctly referred to by bo= th. I did the latter in a patch that fixes the compilation of monotone-viz: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=3D790062#22 > Yet, we should probably try to improve the error message, > which is indeed confusing. Not so easy, because this kind of > self-reference can be detected at very unexpected timings. > Can you add a comment to the above bug report? Done. Cheers, --=20 St=C3=A9phane