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=1.4 required=5.0 tests=AWL,DNS_FROM_RFC_ABUSE, SPF_NEUTRAL autolearn=disabled version=3.1.3 Received: from discorde.inria.fr (discorde.inria.fr [192.93.2.38]) by yquem.inria.fr (Postfix) with ESMTP id 3879CBC69 for ; Mon, 30 Oct 2006 13:47:08 +0100 (CET) Received: from nz-out-0102.google.com (nz-out-0102.google.com [64.233.162.206]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id k9UCl6Wg003402 for ; Mon, 30 Oct 2006 13:47:07 +0100 Received: by nz-out-0102.google.com with SMTP id x3so1220983nzd for ; Mon, 30 Oct 2006 04:47:06 -0800 (PST) DomainKey-Signature: a=rsa-sha1; q=dns; c=nofws; s=beta; d=gmail.com; h=received:message-id:date:from:sender:to:subject:cc:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references:x-google-sender-auth; b=XOfkXYi1ZKwQazAxA30sPpoGcdwsj19r6ZfoI/shm9YVzgUAUt10TlKarcidQRZyY2L/PopKsKSUwRYf1kgJ/DApW41NepqVtyBrWLOLM9H6oQB6oLtI1TChXWvNPvC8nU9GRRkc/AJFikuQEN3FSN2zfSCajs7IDCVDPNAGX4c= Received: by 10.35.105.18 with SMTP id h18mr4854552pym; Mon, 30 Oct 2006 04:47:06 -0800 (PST) Received: by 10.35.72.18 with HTTP; Mon, 30 Oct 2006 04:47:06 -0800 (PST) Message-ID: Date: Mon, 30 Oct 2006 14:47:06 +0200 From: "Nicolas Pouillard" Sender: nicolas.pouillard@gmail.com To: "Anastasia Gornostaeva" Subject: Re: [Caml-list] class and printf Cc: caml-list@yquem.inria.fr In-Reply-To: <20061030124223.GA46814@ermine.home> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit Content-Disposition: inline References: <20061030124223.GA46814@ermine.home> X-Google-Sender-Auth: 5cfc044e2d184d21 X-Miltered: at discorde with ID 4545F44A.002 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; printf:01 foo:01 myprintf:01 printf:01 fprintf:01 compiler:01 myprintf:01 foo:01 fmt:01 fprintf:01 fmt:01 drink:98 unbound:01 wrote:01 compile:01 On 10/30/06, Anastasia Gornostaeva wrote: > Hello. > > What I need to drink to compile it? > > class foo ch = > object > method myprintf = Printf.fprintf ch > end > > The compiler says > The method myprintf has type ('a, out_channel, unit) format -> 'a where 'a > is unbound > This one works: class ['a] foo ch = object method myprintf (fmt : ('a, out_channel, unit) format) = Printf.fprintf ch fmt end -- Nicolas Pouillard