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 KAA04109; Wed, 28 Jul 2004 10:28:18 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f 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 KAA04089; Wed, 28 Jul 2004 10:28:17 +0200 (MET DST) Received: from mail6.bluewin.ch (mail6.bluewin.ch [195.186.4.229]) by concorde.inria.fr (8.12.10/8.12.10) with ESMTP id i6S8SGSH012977; Wed, 28 Jul 2004 10:28:16 +0200 Received: from [10.0.1.2] (213.3.64.118) by mail6.bluewin.ch (Bluewin AG 7.0.030.2) id 40ED9EDE00219383; Wed, 28 Jul 2004 08:28:16 +0000 In-Reply-To: <1091001993.5870.891.camel@pelican.wigram> References: <200407280726.JAA01775@pauillac.inria.fr> <1091001993.5870.891.camel@pelican.wigram> Mime-Version: 1.0 (Apple Message framework v618) Content-Type: text/plain; charset=ISO-8859-1; format=flowed Message-Id: <4F27E546-E070-11D8-9E90-000393DBC266@epfl.ch> Content-Transfer-Encoding: quoted-printable Cc: Pierre Weis , caml-list From: =?ISO-8859-1?Q?Daniel_B=FCnzli?= Subject: Re: lazyness in ocaml (was : [Caml-list] kprintf with user formatters) Date: Wed, 28 Jul 2004 10:29:57 +0200 To: skaller@users.sourceforge.net X-Mailer: Apple Mail (2.618) X-Miltered: at concorde with ID 410763A0.001 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Loop: caml-list@inria.fr X-Spam: no; 0.00; lazyness:01 caml-list:01 kprintf:01 formatters:01 ecrit:01 ocaml:01 byte:01 byte:01 06,:02 04,:03 let:04 let:04 pair:04 epfl:05 daniel:06 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Le 28 juil. 04, =E0 10:06, skaller a =E9crit : > do you have a counter example? let f c =3D let a =3D input_byte c in let b =3D input_byte c in (a,b) let f' c =3D (input_byte c, input_byte c) f and f' do not produce the same pair on my platform. Daniel ------------------- To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ Beginner's list: http://groups.yahoo.com/group/ocaml_beginners