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 mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 28F047F20B for ; Thu, 7 Feb 2013 21:13:00 +0100 (CET) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of kerneis@pps.jussieu.fr) identity=pra; client-ip=213.186.56.95; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="gabriel@kerneis.info"; x-sender="kerneis@pps.jussieu.fr"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of gabriel@kerneis.info designates 213.186.56.95 as permitted sender) identity=mailfrom; client-ip=213.186.56.95; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="gabriel@kerneis.info"; x-sender="gabriel@kerneis.info"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of postmaster@witko.kerneis.info designates 213.186.56.95 as permitted sender) identity=helo; client-ip=213.186.56.95; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="gabriel@kerneis.info"; x-sender="postmaster@witko.kerneis.info"; x-conformance=sidf_compatible; x-record-type="v=spf1" X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AlQFAF0KFFHVujhf/2dsb2JhbAA8CYYCAbpnFnOCHwEBBAEnEwYBATcBBAsLGAkTEg8FKCGIHgqsK4Q7AQWPAAaNG4NgYZYjhWWKboMB X-IPAS-Result: AlQFAF0KFFHVujhf/2dsb2JhbAA8CYYCAbpnFnOCHwEBBAEnEwYBATcBBAsLGAkTEg8FKCGIHgqsK4Q7AQWPAAaNG4NgYZYjhWWKboMB X-IronPort-AV: E=Sophos;i="4.84,623,1355094000"; d="scan'208";a="1884943" Received: from witko.kerneis.info ([213.186.56.95]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES256-SHA; 07 Feb 2013 21:12:59 +0100 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=kerneis.info; s=witko-rsa1; h=Subject:In-Reply-To:Content-Type:MIME-Version:References:Message-ID:Cc:To:From:Date; bh=OhtzEQ7e0dZX9PUdoz/OOSU5aUK77xSPymxzcppnpUM=; b=KdTDDpUMz3mlM4Eo8k7Cu3G5/JpgeXqJFwOsPJKFAkgTV3sVvQWScwDAsd6eUxj5AbOArDX8otog6B8MLa/ntlI1aQuUHH0u/KXe7mvYEFs5IYvlyJ7RJIYWutjsTnpN; Received: from gabriel by witko.kerneis.info with local (Exim 4.72) (envelope-from ) id 1U3Xq6-0008Ru-6e; Thu, 07 Feb 2013 21:12:58 +0100 Date: Thu, 7 Feb 2013 21:12:58 +0100 From: Gabriel Kerneis To: Martin Jambon Cc: Ashish Agarwal , Caml List Message-ID: <20130207201258.GB28009@kerneis.info> References: <51140799.3090908@ens-lyon.org> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <51140799.3090908@ens-lyon.org> User-Agent: Mutt/1.5.20 (2009-06-14) X-SA-Exim-Connect-IP: X-SA-Exim-Mail-From: gabriel@kerneis.info X-Spam-Checker-Version: SpamAssassin 3.3.1 (2010-03-16) on witko.kerneis.info X-Spam-Level: X-SA-Exim-Version: 4.2.1 (built Mon, 22 Mar 2010 06:51:10 +0000) X-SA-Exim-Scanned: Yes (on witko.kerneis.info) Subject: Re: [Caml-list] use identity for default function On Thu, Feb 07, 2013 at 11:59:21AM -0800, Martin Jambon wrote: > On 02/07/2013 11:22 AM, Ashish Agarwal wrote: > >val foo : ?f:('a -> 'b) -> 'a -> 'b > > What's wrong with the following: It does not have the requested type (for fooi). > let foo ~f x = ... val foo : f:('a -> 'b) -> 'a -> 'b = > let fooi ?(f = fun x -> x) x = foo ~f x val fooi : ?f:('a -> 'a) -> 'a -> 'a = -- Gabriel