From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <hendrik@topoi.pooq.com>
X-Original-To: caml-list@sympa.inria.fr
Delivered-To: caml-list@sympa.inria.fr
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 2E01C7F0BA
	for <caml-list@sympa.inria.fr>; Fri, 23 Sep 2016 16:48:02 +0200 (CEST)
Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=hendrik@topoi.pooq.com; spf=None smtp.mailfrom=hendrik@topoi.pooq.com; spf=None smtp.helo=postmaster@april.topoi.pooq.com
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  hendrik@topoi.pooq.com) identity=pra;
  client-ip=69.165.131.134;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="hendrik@topoi.pooq.com";
  x-sender="hendrik@topoi.pooq.com";
  x-conformance=sidf_compatible
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  hendrik@topoi.pooq.com) identity=mailfrom;
  client-ip=69.165.131.134;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="hendrik@topoi.pooq.com";
  x-sender="hendrik@topoi.pooq.com";
  x-conformance=sidf_compatible
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@april.topoi.pooq.com) identity=helo;
  client-ip=69.165.131.134;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="hendrik@topoi.pooq.com";
  x-sender="postmaster@april.topoi.pooq.com";
  x-conformance=sidf_compatible
IronPort-PHdr: =?us-ascii?q?9a23=3AzzLSnhao80WEBULZJ8IwMIb/LSx+4OfEezUN459i?=
 =?us-ascii?q?sYplN5qZpcm5bnLW6fgltlLVR4KTs6sC0LuM9fi/EjNfqb+681k6OKRWUBEEjc?=
 =?us-ascii?q?hE1ycBO+WiTXPBEfjxciYhF95DXlI2t1uyMExSBdqsLwaK+i760zceF13FOBZv?=
 =?us-ascii?q?IaytQ8iJ3p7xj7/5pMKbSj4LrQL1Wal1IhSyoFeZnegtqqwmFJwMzADUqGBDYe?=
 =?us-ascii?q?VcyDAgD1uSmxHh+pX4p8Y7oGxmgO8678NLTYn9eq05S/QYUGVnYCgJ45jgvBzH?=
 =?us-ascii?q?CA+O/Wc0U2MMkxMODRKWwgv9W8LRvy32rOt+kAOdOsi+GbA5Xzi47qRDVBjwjy?=
 =?us-ascii?q?ZBLzk+6Sfcjckm3/ETmw6ouxEqm92cW4qSLvcrIvLQ?=
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0A5DwA7QOVX/4aDpUVdRwEXAQYBBQGCf?=
 =?us-ascii?q?gEBAQEBdUsypwWRdYIEJIV6AoIVEwEBAQEBAQEBAQEBXSeCMgQDAxWCEQEBBDo?=
 =?us-ascii?q?0GwsYCQQhDwUYGT2IHwMXDrkVA4NQAQEBBwIBJIsLhRCCY4IvBYZqDJMAhieJN?=
 =?us-ascii?q?wpngVWNL4xrg3wfATSFISKFf4EsAQEB?=
X-IPAS-Result: =?us-ascii?q?A0A5DwA7QOVX/4aDpUVdRwEXAQYBBQGCfgEBAQEBdUsypwW?=
 =?us-ascii?q?RdYIEJIV6AoIVEwEBAQEBAQEBAQEBXSeCMgQDAxWCEQEBBDo0GwsYCQQhDwUYG?=
 =?us-ascii?q?T2IHwMXDrkVA4NQAQEBBwIBJIsLhRCCY4IvBYZqDJMAhieJNwpngVWNL4xrg3w?=
 =?us-ascii?q?fATSFISKFf4EsAQEB?=
X-IronPort-AV: E=Sophos;i="5.30,381,1470693600"; 
   d="scan'208";a="194449691"
Received: from topoi.pooq.com (HELO april.topoi.pooq.com) ([69.165.131.134])
  by mail3-smtp-sop.national.inria.fr with ESMTP; 23 Sep 2016 16:47:41 +0200
Received: by april.topoi.pooq.com (Postfix, from userid 1001)
	id 28236C20DE; Fri, 23 Sep 2016 10:47:39 -0400 (EDT)
Date: Fri, 23 Sep 2016 10:47:39 -0400
From: Hendrik Boom <hendrik@topoi.pooq.com>
To: caml-list@inria.fr
Message-ID: <20160923144738.GA14698@topoi.pooq.com>
References: <e59e3c89-a7d9-ec66-4f96-254c7c5b4996@gmail.com>
 <322479DE-44EB-4EB2-BCEC-8782C16FAAAA@m4x.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
In-Reply-To: <322479DE-44EB-4EB2-BCEC-8782C16FAAAA@m4x.org>
User-Agent: Mutt/1.5.23 (2014-03-12)
Subject: Re: [Caml-list] Oasis strange behavior

I've had that problem with Modula 3 compilation (nothing to do with 
OCaml, but the cause may be similar.  It seems to be  failure in the 
mechnism that does dependency analysis and determined what has to be 
recompiled from scratch insted of from original source.  The bug 
hasn't been tracked down in Modula 3 either.

Deleting all compiler-generated files (which Modula 3 conveniently 
keeps segregated in a directory of their own) makes everything work 
again.  After doing this, of course it isn't repeatable either.

-- hendrik

On Fri, Sep 23, 2016 at 07:24:12AM +0200, Simon Cruanes wrote:
> I have had the same issue (twice), but after randomly removing setup.*, _build, and the likes it worked again (and of course I could not reproduce later).
> -- 
> Simon
> 
> -- 
> Caml-list mailing list.  Subscription management and archives:
> https://sympa.inria.fr/sympa/arc/caml-list
> Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
> Bug reports: http://caml.inria.fr/bin/caml-bugs