From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: *** X-Spam-Status: No, score=3.1 required=5.0 tests=AWL,DNS_FROM_RFC_POST, SPF_NEUTRAL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by yquem.inria.fr (Postfix) with ESMTP id A5A07BBAF for ; Wed, 3 Dec 2008 10:59:34 +0100 (CET) X-IronPort-AV: E=Sophos;i="4.33,708,1220220000"; d="scan'208";a="20703863" Received: from concorde.inria.fr ([192.93.2.39]) by mail1-smtp-roc.national.inria.fr with ESMTP; 03 Dec 2008 10:59:34 +0100 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id mB39xXpt015796 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Wed, 3 Dec 2008 10:59:34 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AloBADPnNUlKfU4Zimdsb2JhbACTED4BAQEKCQwHDwWyCowoAQMBA4J8ghs X-IronPort-AV: E=Sophos;i="4.33,708,1220220000"; d="scan'208";a="32117306" Received: from ey-out-2122.google.com ([74.125.78.25]) by mail4-smtp-sop.national.inria.fr with ESMTP; 03 Dec 2008 10:59:33 +0100 Received: by ey-out-2122.google.com with SMTP id 25so1284378eya.33 for ; Wed, 03 Dec 2008 01:59:33 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:received:received:message-id:from:to :in-reply-to:content-type:content-transfer-encoding:mime-version :subject:date:references:x-mailer:sender; bh=GB6BwiDOO03dtVijkkd2QG418DG5i/S43lDcWUYuGHQ=; b=WqhPtN7qvh35wRfKuZ402mOwNWmvqDXeISkIfGi8mJzA/DIHvQGQcSwl3MGABhLq7V aecVbdR7dWNRhMRgskktVPQnBWPBJe6CY3TcxBo41tWCBCQWWHTPm2wG5t/VXhuSHtfF N1pLTPYbaUZx20tENIeCgj6J0ZLkdSWqYiJe4= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=message-id:from:to:in-reply-to:content-type :content-transfer-encoding:mime-version:subject:date:references :x-mailer:sender; b=LxTqBOi91Xe3+T/n7DQNTBHeG5Nzo/oIaxKBpp7M0kWwUEO8rCh/8sHoIxZ1L8+CEL c0rcQt7vwTo3Kh9Gb9lug9O3yGjXpwFMFY2SOfZAE0ssbsAvx5hWmZfZPT1jIPTjGdVY 0JMkGIp0uxUS/g0D+S3g3t4/mve5i+x4ziJXc= Received: by 10.103.227.13 with SMTP id e13mr5838064mur.20.1228298372846; Wed, 03 Dec 2008 01:59:32 -0800 (PST) Received: from ?192.168.1.34? (193-37.77-83.cust.bluewin.ch [83.77.37.193]) by mx.google.com with ESMTPS id z15sm11429996fkz.31.2008.12.03.01.59.32 (version=TLSv1/SSLv3 cipher=RC4-MD5); Wed, 03 Dec 2008 01:59:32 -0800 (PST) Message-Id: From: =?ISO-8859-1?Q?Daniel_B=FCnzli?= To: OCaml List In-Reply-To: <49365518.9030807@lri.fr> Content-Type: text/plain; charset=ISO-8859-1; format=flowed; delsp=yes Content-Transfer-Encoding: quoted-printable Mime-Version: 1.0 (Apple Message framework v929.2) Subject: Re: [Caml-list] ocamlbuild rule with recursive action Date: Wed, 3 Dec 2008 10:58:23 +0100 References: <34C5E0E0-6C71-40C2-8AC6-46B619710F32@erratique.ch> <49351B89.3080208@doomeer.com> <0A47DC4F-D540-44C1-A81C-135F860832D1@erratique.ch> <49365518.9030807@lri.fr> X-Mailer: Apple Mail (2.929.2) Sender: =?UTF-8?B?RGFuaWVsIELDvG56bGk=?= X-Miltered: at concorde with ID 49365885.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; bunzli:01 buenzli:01 recursive:01 recursion:01 rec:01 rec:01 caml-list:01 nop:02 daniel:04 daniel:04 dec:05 ecrit:06 break:08 execute:09 execute:09 Le 3 d=E9c. 08 =E0 10:44, Romain Bardou a =E9crit : > Well, you can also simply execute the commands yourself, in a loop, =20= > using Command.execute or Command.execute_many. But doesn't this break things ? Actions are supposed to build the =20 command not execute it. Daniel P.S. something like Rec of 'a * ('a -> action -> [ `Stop | `Step of command * 'a ]) would be better or Rec of 'a * ('a -> action-> command * 'a) with the convention that =20 returning Nop stops the recursion.