From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id WAA10477; Wed, 26 Sep 2001 22:44:31 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id WAA10446 for caml-list@pauillac.inria.fr; Wed, 26 Sep 2001 22:44:30 +0200 (MET DST) Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id JAA25243 for ; Wed, 26 Sep 2001 09:15:01 +0200 (MET DST) Received: from ajax2.sovam.com (ajax2.sovam.com [194.67.1.173]) by concorde.inria.fr (8.11.1/8.10.0) with ESMTP id f8Q7F0n14805 for ; Wed, 26 Sep 2001 09:15:00 +0200 (MET DST) Received: from ts1-195-190-97-93.Spb.dial.sovam.com ([195.190.97.93]:35208 "HELO kouzdra.glokaya" ident: "NO-IDENT-SERVICE[2]" whoson: "-unregistered-" smtp-auth: TLS-CIPHER: TLS-PEER: ) by ajax2.sovam.com with SMTP id ; Wed, 26 Sep 2001 11:15:26 +0400 Content-Type: text/plain; charset=US-ASCII From: Anton Moscal To: caml Subject: [Caml-list] format types Date: Tue, 25 Sep 2001 12:59:43 +0400 X-Mailer: KMail [version 1.2] References: <3BAFC45D.9EAB97D9@gmvnetwork.com> In-Reply-To: <3BAFC45D.9EAB97D9@gmvnetwork.com> MIME-Version: 1.0 Message-Id: <01092512594301.08201@kouzdra.glokaya> Content-Transfer-Encoding: 7BIT Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Hello! why let _ = List.map printf (["abc\n"; "def\n"]:('a,'b,'c) format list) work properly, but: let _ = List.map printf ["abc\n"; "def\n"] doesn't compiled with message This expression has type ('a, out_channel, unit) format -> 'a but is here used with type string -> 'b I know, O'Caml format type is a hack, but I can't undertand difference between thees two expressions for the type inference algorighm. Regards, Anton Moscal ------------------- Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr