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 mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by sympa.inria.fr (Postfix) with ESMTPS id 6DE1A7EE20 for ; Thu, 15 Nov 2012 10:59:40 +0100 (CET) Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender authenticity information available from domain of d0@wp.pl) identity=pra; client-ip=212.77.101.8; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="d0@wp.pl"; x-sender="d0@wp.pl"; x-conformance=sidf_compatible Received-SPF: Pass (mail1-smtp-roc.national.inria.fr: domain of d0@wp.pl designates 212.77.101.8 as permitted sender) identity=mailfrom; client-ip=212.77.101.8; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="d0@wp.pl"; x-sender="d0@wp.pl"; 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@mx4.wp.pl) identity=helo; client-ip=212.77.101.8; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="d0@wp.pl"; x-sender="postmaster@mx4.wp.pl"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AuUBAP67pFDUTWUIk2dsb2JhbABEw0kjAQEBAQkJCwkUBCOCHgEBBTgIAQE2Ag8LGAkWDwkDAgECAQ82EwYCAod0AQMTqEyENwEFhGweLA0UiToGi0hpCoJ7gyeUKocthVqIAQ X-IronPort-AV: E=Sophos;i="4.83,255,1352070000"; d="scan'208";a="181612439" Received: from mx4.wp.pl ([212.77.101.8]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 15 Nov 2012 10:59:39 +0100 Received: (wp-smtpd smtp.wp.pl 22510 invoked from network); 15 Nov 2012 10:59:38 +0100 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=wp.pl; s=1024a; t=1352973578; bh=RdLJMAAX8viKgbzsl6l5RCyCBbNdVNHDIEk4iXlL7DM=; h=From:To:Subject; b=afHeDolIs/VrxTVuN5NIFpr+SYRxkgt6E0zPyQZebpv+zWcyN9qunurcAXPG8ytzq jhtNuVyHAbP26YEIQPgguuT0vILOYpUX3WFZxt/NmdmjENZTcyZ/XH75doT7CG4TmE FhWlq01qmCtWMu1UcYC9Vz1xx9QvH0F/1m4wiSJo= Received: from ifjdh224.ifj.edu.pl (HELO [10.10.200.171]) (d0@[149.156.47.224]) (envelope-sender ) by smtp.wp.pl (WP-SMTPD) with CAMELLIA256-SHA encrypted SMTP for ; 15 Nov 2012 10:59:38 +0100 Message-ID: <50A4BD0A.9040804@wp.pl> Date: Thu, 15 Nov 2012 10:59:38 +0100 From: Dawid Toton User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:10.0.10) Gecko/20121027 Icedove/10.0.10 MIME-Version: 1.0 To: caml-list@inria.fr References: <838ab953-d33f-42d5-a363-050217c1b883@googlegroups.com> <20121115092037.GC26744@securactive.lan> In-Reply-To: <20121115092037.GC26744@securactive.lan> Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit X-WP-AV: skaner antywirusowy poczty Wirtualnej Polski S. A. X-WP-SPAM: NO 0000000 [YaNE] Subject: [Caml-list] Re: Preferred layout for new packages On 11/15/2012 10:20 AM, rixed@happyleptic.org wrote: > -[ Thu, Nov 15, 2012 at 12:13:58AM -0800, vincent.hugot@gmail.com ]---- >> I for one like the (short-)tests-as-comments approach: being near the >> function, they serve as short specifications, and being comments, they don't >> alter the compilation process in the least. > > The only drawback I saw is that adding or modifying a test triggers the > recompilation of the whole unit when using makefiles (since the file changed). > I wonder if there exist a tool that's able to find out that since only comments > where changed the module need not be recompiled. Maybe omake can do this ? > You usually want correct line numbers to be preserved in the executable for e.g. assertion failures. So, in general, it's not possible to save time in the way you describe unless the compiler itself works in an incremental manner. Dawid