From mboxrd@z Thu Jan  1 00:00:00 1970
Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id WAA11147 for caml-red; Thu, 4 Jan 2001 22:01:03 +0100 (MET)
Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id UAA28185 for <caml-list@pauillac.inria.fr>; Thu, 4 Jan 2001 20:52:17 +0100 (MET)
Received: from staff.gtmd.com (adsl-63-195-80-23.dsl.snfc21.pacbell.net [63.195.80.23])
	by nez-perce.inria.fr (8.11.1/8.10.0) with ESMTP id f04JqGT22353
	for <caml-list@inria.fr>; Thu, 4 Jan 2001 20:52:16 +0100 (MET)
Received: from aria.chasm.org (aria [192.168.0.3])
	by staff.gtmd.com (8.9.3/8.9.3) with ESMTP id LAA15344
	for <caml-list@inria.fr>; Thu, 4 Jan 2001 11:49:30 -0800 (PST)
	(envelope-from martin@chasm.org)
Message-Id: <5.0.0.25.0.20010104114009.00a85670@chasm.org>
X-Sender: martin@chasm.org
X-Mailer: QUALCOMM Windows Eudora Version 5.0
Date: Thu, 04 Jan 2001 11:53:08 -0800
To: caml-list@inria.fr
From: Charles Martin <martin@chasm.org>
Subject: printf - partial application bug
Mime-Version: 1.0
Content-Type: text/plain; charset="us-ascii"; format=flowed
Sender: weis@pauillac.inria.fr

I was surprised to discover that:

# List.iter2 (Printf.printf " (%d %d)") [1;2;3] [4;5;6];;
  (1 4)2 5)3 6)

It appears that a partially applied printf "forgets" everything up to the 
first format directive.