From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by yquem.inria.fr (Postfix) with ESMTP id CBD6BBCAF for ; Fri, 17 Jun 2005 13:46:03 +0200 (CEST) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id j5HBk37B028007 for ; Fri, 17 Jun 2005 13:46:03 +0200 Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id NAA26421 for ; Fri, 17 Jun 2005 13:46:03 +0200 (MET DST) Received: from oceanite.ens-lyon.fr (oceanite.ens-lyon.fr [140.77.1.22]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id j5HBk2i3028004 for ; Fri, 17 Jun 2005 13:46:02 +0200 Received: from localhost (oceanite.ens-lyon.fr [127.0.0.1]) by oceanite.ens-lyon.fr (Postfix) with ESMTP id 8E00D3200A3; Fri, 17 Jun 2005 13:46:02 +0200 (CEST) Received: from oceanite.ens-lyon.fr ([127.0.0.1]) by localhost (oceanite [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id 30485-20; Fri, 17 Jun 2005 13:46:02 +0200 (CEST) Received: from paille (unknown [140.77.13.92]) by oceanite.ens-lyon.fr (Postfix) with ESMTP id 61EFA32005D; Fri, 17 Jun 2005 13:46:02 +0200 (CEST) Received: from thirscho by paille with local (Exim 3.36 #1 (Debian)) id 1DjFGX-0002RZ-00; Fri, 17 Jun 2005 13:44:05 +0200 MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Message-ID: <17074.46980.394501.898095@gargle.gargle.HOWL> Date: Fri, 17 Jun 2005 13:44:04 +0200 To: caml-list@inria.fr Cc: romain.bardou@dptinfo.ens-cachan.fr Subject: modifying ocaml sources X-Mailer: VM 7.19 under Emacs 21.4.1 Reply-To: Tom.Hirschowitz@ens-lyon.fr From: Tom Hirschowitz X-Virus-Scanned: by amavisd-new-20030616-p10 (Debian) at ens-lyon.fr X-Miltered: at nez-perce with ID 42B2B7FB.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at nez-perce with ID 42B2B7FA.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; ocaml:01 ens-lyon:01 ocaml:01 compiler:01 recursive:01 dependencies:01 stdlib:01 cmo:01 toplevel:01 hirschowitz:01 hirschowitz:01 executables:01 modifying:02 seems:03 string:03 X-Spam-Checker-Version: SpamAssassin 3.0.2 (2004-11-16) on yquem.inria.fr X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.0.2 X-Spam-Level: Hi all, We are trying to modify the ocaml compiler in order to have it verify the well foundedness of recursive module definitions, and have a question for the long standing ocaml source hackers. >>From early experiments, it seems that the dependencies in the various .depend files are insufficient. For example, try to modify the version string, say "3.08.3", in stdlib/sys.cmo, and make the world. Launch the new toplevel; nothing has changed. How do people deal with this issue? In the cases we have, cleaning up the executables before making the world again is enough. Is it in general? Thanks.