From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <lukstafi@gmail.com>
X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr
X-Spam-Level: *
X-Spam-Status: No, score=1.0 required=5.0 tests=AWL,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 discorde.inria.fr (discorde.inria.fr [192.93.2.38])
	by yquem.inria.fr (Postfix) with ESMTP id 2BD8CBC6B
	for <caml-list@yquem.inria.fr>; Sat, 23 Jun 2007 23:49:06 +0200 (CEST)
Received: from py-out-1112.google.com (py-out-1112.google.com [64.233.166.182])
	by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id l5NLn5Er015935
	for <caml-list@yquem.inria.fr>; Sat, 23 Jun 2007 23:49:05 +0200
Received: by py-out-1112.google.com with SMTP id d32so908533pye
        for <caml-list@yquem.inria.fr>; Sat, 23 Jun 2007 14:49:04 -0700 (PDT)
DKIM-Signature: a=rsa-sha1; c=relaxed/relaxed;
        d=gmail.com; s=beta;
        h=domainkey-signature:received:received:message-id:date:from:to:subject:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references;
        b=oCNIPtG+FtmHlspm7QIQ416Bqhzsz48T94AtMax56/MpRZt1p1LLHSnKkMuR/rMkUn0L2f0Kdooiq0JEg/Nu2ZPc4vJBnXt3YC/JLvEUMl9mdd0LkbMLQyWj+DSUHkzuYyOGQmDBOPyKI8Z0K49w+L7S0UpVkfcwjx/FHYP+WzE=
DomainKey-Signature: a=rsa-sha1; c=nofws;
        d=gmail.com; s=beta;
        h=received:message-id:date:from:to:subject:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references;
        b=FhYF3S2pmeXRhWgadOsuh3WPKe2RCiLGu1uEerTDp9nSCYRnkF5o3Bcg0zu01gMhyXwU1IvXHi3iZmB6ioX7saMMQU4FclIIdC/cfuOrr40bWyarsoJM5+55GFlDbUhxIBngR+0vUQRV3EnMn5zQWFBiltEdPi90NV6X1uBo6gM=
Received: by 10.65.103.14 with SMTP id f14mr7388127qbm.1182635344648;
        Sat, 23 Jun 2007 14:49:04 -0700 (PDT)
Received: by 10.64.242.10 with HTTP; Sat, 23 Jun 2007 14:49:04 -0700 (PDT)
Message-ID: <4a708d20706231449g38836405xc48f4eb6fa82d779@mail.gmail.com>
Date: Sat, 23 Jun 2007 23:49:04 +0200
From: "Lukasz Stafiniak" <lukstafi@gmail.com>
To: caml-list <caml-list@yquem.inria.fr>
Subject: Re: [Caml-list] How do I get polymorphic partial application?
In-Reply-To: <467D936C.5020501@philippewang.info>
MIME-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
Content-Disposition: inline
References: <9d3ec8300706231155p2429504ay6395ea0580756dc7@mail.gmail.com>
	 <467D936C.5020501@philippewang.info>
X-j-chkmail-Score: MSGID : 467D9551.000 on discorde : j-chkmail score : X : 0/20 1 0.000 -> 1
X-Miltered: at discorde with ID 467D9551.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)!
X-Spam: no; 0.00; lukasz:01 expansions:01 expansions:01 polymorphic:01 polymorphic:01 wrote:01 wrote:01 partial:01 partial:01 caml-list:01 generally:03 ugly:03 let:03 generalized:04 transform:04 

On 6/23/07, Philippe Wang <lists@philippewang.info> wrote:
> Till Varoquaux wrote:
> > Humm... I have a small issue here: I need to get the result of the
> > partial application of a polymorphic function. Since variable are
> > generalized in Let it is generally advised to use eta expansions,
> > (i.e transform to a total application).
> > sometimes eta expansions just won't do the trick, consider:
>
> I think you should not try to "hide" that ugly side effect...
>
Could someone give an example where this "eta-thing" forbids a crash?
I don't remember any example even in Xavier Leroy papers.