From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id q0KFVJH7013480 for ; Fri, 20 Jan 2012 16:31:19 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ap4BAFuIGU/RVaG2kGdsb2JhbABDrXsIIgEBAQEJCQ0HFAQhgXIBAQEEEgIsATgBAwwBBQULAwouIQESAQUBHAYTIqMpCo5ZhHKJMAIFC4wbBJUZiwGDDz2BT4Iw X-IronPort-AV: E=Sophos;i="4.71,542,1320620400"; d="scan'208";a="140761350" Received: from mail-gx0-f182.google.com ([209.85.161.182]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 20 Jan 2012 16:31:14 +0100 Received: by ggki1 with SMTP id i1so445964ggk.27 for ; Fri, 20 Jan 2012 07:31:13 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=mime-version:sender:in-reply-to:references:date :x-google-sender-auth:message-id:subject:from:to:cc:content-type; bh=czCxtgca7H7OVvgMu4RQkfu2v3weY5N8DB+7YS3r0uU=; b=doyigpJHSOxo8HyVb81mdiEbvJJ4wpXgppE375Tlk6Fzc5tjJuGvouknMbsBPcYIQo pn/otgdhKvRE6FVlJQ2PLpdTV+rfZnrdO2cqv7DEotwX98wdUnPZd2UottcS76OnMbgk yLxiL/AdvYKajDTpV5z2LQ0TclSwEc84keBmI= MIME-Version: 1.0 Received: by 10.50.95.169 with SMTP id dl9mr33327344igb.12.1327073473418; Fri, 20 Jan 2012 07:31:13 -0800 (PST) Sender: fabrissimo@gmail.com Received: by 10.42.155.1 with HTTP; Fri, 20 Jan 2012 07:31:13 -0800 (PST) In-Reply-To: <4F197343.8070704@gmail.com> References: <20120120093834.GB1870@siouxsie> <4F197343.8070704@gmail.com> Date: Fri, 20 Jan 2012 16:31:13 +0100 X-Google-Sender-Auth: 1dS2hzM9Q9e9GdnO4oLh_9CJRag Message-ID: From: Fabrice Le Fessant To: Edgar Friendly Cc: caml-list@inria.fr Content-Type: text/plain; charset=ISO-8859-1 Subject: Re: [Caml-list] is there a more concise way to write this? On Fri, Jan 20, 2012 at 2:59 PM, Edgar Friendly wrote: > On 01/20/2012 04:38 AM, oliver wrote: > let (|>) x f = f x (* no %revapply yet *) > let lefessant (out, value) = [] |> maybe value v |> maybe out o I replayed your bench on 3.12.1+dev, where "%revapply" is available, and it is fortunately the same speed as Jerome Vouillon's one. --Fabrice