From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 5A8237EE7D for ; Tue, 2 Jun 2015 11:03:43 +0200 (CEST) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of fabrissimo@gmail.com) identity=pra; client-ip=209.85.220.178; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="fabrissimo@gmail.com"; x-sender="fabrissimo@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of fabrissimo@gmail.com designates 209.85.220.178 as permitted sender) identity=mailfrom; client-ip=209.85.220.178; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="fabrissimo@gmail.com"; x-sender="fabrissimo@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-qk0-f178.google.com) identity=helo; client-ip=209.85.220.178; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="fabrissimo@gmail.com"; x-sender="postmaster@mail-qk0-f178.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0DUBAC4b21VlLLcVdFbhEIGgxjETQc8EAEBAQEBAQERAQEBAQcLCwkfMEEDg18BAQQSER0BOAEDDAEFBQsDCgICJgICIhIBBQEcBhMih3YDEqhOPjGLP4RkmWwnDYUbJgEFDoETiiKHdYFFAQScTYFZlW4SI4EVXIICgT88MYJHAQEB X-IPAS-Result: A0DUBAC4b21VlLLcVdFbhEIGgxjETQc8EAEBAQEBAQERAQEBAQcLCwkfMEEDg18BAQQSER0BOAEDDAEFBQsDCgICJgICIhIBBQEcBhMih3YDEqhOPjGLP4RkmWwnDYUbJgEFDoETiiKHdYFFAQScTYFZlW4SI4EVXIICgT88MYJHAQEB X-IronPort-AV: E=Sophos;i="5.13,538,1427752800"; d="scan'208";a="161408990" Received: from mail-qk0-f178.google.com ([209.85.220.178]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 02 Jun 2015 11:03:42 +0200 Received: by qkhg32 with SMTP id g32so97509038qkh.0 for ; Tue, 02 Jun 2015 02:03:42 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:sender:in-reply-to:references:from:date:message-id :subject:to:cc:content-type; bh=KpyXZs7cDFef2VB/r+3OsxX0W3fm/BINIrv6HivbmXY=; b=Ds6WyJojNXatQJ9Y3hHhLO5lLP56dVLhTcCI0STjFGniwBh1TO5oFM/V6bVKgCKUd1 qwItr71Qhue/QXDxlwdhQsLjM/U8KmVrBePm+4oyQGik02FKIqDaCxiJqyC0fHEG5xeb QNdPuduBvZPNM8UGda5ctFy67PnhwVQ5dR3YsjVpXtJYnVtU8js84L4Rw721PuID5T2Y bDU4oL1QvefI4kGCy/7BColuoRuKyadPle4BSmunC50B7OitFkuxSip+OIXfDOIjSFXt dQbLGHwUljN9H9R7UizwDekaZ92/fWsfdTAiFwzhf+ao3gV+PJ9XXoVpqyEzurq2d7Wm KxnA== X-Received: by 10.55.26.147 with SMTP id l19mr45222989qkh.59.1433235821942; Tue, 02 Jun 2015 02:03:41 -0700 (PDT) MIME-Version: 1.0 Sender: fabrissimo@gmail.com Received: by 10.96.92.228 with HTTP; Tue, 2 Jun 2015 02:03:21 -0700 (PDT) In-Reply-To: <1433234082.11499.27.camel@e130.lan.sumadev.de> References: <7BA16901-A2D2-48DE-9DA4-065DF74D5B90@fb.com> <1433234082.11499.27.camel@e130.lan.sumadev.de> From: Fabrice Le Fessant Date: Tue, 2 Jun 2015 11:03:21 +0200 X-Google-Sender-Auth: bcExnmJqa7tFf9GdKeKbdnvz0-4 Message-ID: To: Gerd Stolpmann Cc: Josh Watzman , "caml-list@inria.fr" Content-Type: text/plain; charset=UTF-8 Subject: Re: [Caml-list] "Inconsistent assumptions" when moving files across subdirectories On Tue, Jun 2, 2015 at 10:34 AM, Gerd Stolpmann wrote: > I would have thought ocamlbuild is immune to this problem because it > puts the translated files into a separate directory tree. But maybe this > problem was overlooked. I used ocamlbuild once a few years ago, and got these "inconsistent-assumptions" errors many times. Some of them were related to packing (if A would be packed as B.A, the a.cmi file would still conflict with another toplevel A module). Maybe also the sanitization done by ocamlbuild is only done in the source directory, not in the _build directory ? --Fabrice