From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id pBNC4OlI007006 for ; Fri, 23 Dec 2011 13:04:24 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Av0EAM5s9E7V+6tl/2dsb2JhbABErDaBBYFyAQEEAScTRAsLRhQoiC4CtyKIdYI3YwSVAZI2 X-IronPort-AV: E=Sophos;i="4.71,398,1320620400"; d="scan'208";a="124452545" Received: from eneide.happyleptic.org ([213.251.171.101]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/AES256-SHA; 23 Dec 2011 13:04:19 +0100 Received: from extranet.securactive.org ([82.234.213.170] helo=ccellier.rd.securactive.lan) by eneide.happyleptic.org with esmtp (Exim 4.72) (envelope-from ) id 1Re41s-0000rO-I0 for caml-list@inria.fr; Fri, 23 Dec 2011 13:15:16 +0100 Received: from rixed by ccellier.rd.securactive.lan with local (Exim 4.72) (envelope-from ) id 1Re3rB-0001kG-CZ for caml-list@inria.fr; Fri, 23 Dec 2011 13:04:13 +0100 Date: Fri, 23 Dec 2011 13:04:13 +0100 From: rixed@happyleptic.org To: caml-list@inria.fr Message-ID: <20111223120413.GA4433@ccellier.rd.securactive.lan> References: <20111222212429.GA8156@yeeloong.happyleptic.org> <874nws89sz.fsf@inria.fr> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <874nws89sz.fsf@inria.fr> User-Agent: Mutt/1.5.20 (2009-06-14) Subject: Re: [Caml-list] Bless me Father, for I have used Obj.magic > This will compile if you ??-expand the partial application of > some_operation into ???(fun t1 -> some_operation t_priv t1)???. > > But perhaps your example is over simplified and hide the real > difficulty. No you are right, once eta-epxanded the compiler accepted the code. I wonder what difference it makes in the generated code, if any. Thank you very much for the tip!