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=0.0 required=5.0 tests=none autolearn=disabled version=3.1.3 Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by yquem.inria.fr (Postfix) with ESMTP id 4DD14BC54 for ; Thu, 28 May 2009 14:43:11 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AhgCACskHkqGnQCBjmdsb2JhbACYBAEBAQEJCwgJDwW1a4QNBQ X-IronPort-AV: E=Sophos;i="4.41,265,1241388000"; d="scan'208";a="30114696" Received: from shiva.jussieu.fr ([134.157.0.129]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 28 May 2009 14:43:11 +0200 Received: from hydrogene.pps.jussieu.fr (hydrogene.pps.jussieu.fr [134.157.168.1]) by shiva.jussieu.fr (8.14.3/jtpda-5.4) with ESMTP id n4SCh4WH046935 ; Thu, 28 May 2009 14:43:05 +0200 (CEST) X-Ids:165 Received: from [134.157.168.28] (nickel.pps.jussieu.fr [134.157.168.28]) by hydrogene.pps.jussieu.fr (8.13.4/jtpda-5.4) with ESMTP id n4SCh3JX023604 ; Thu, 28 May 2009 14:43:03 +0200 Message-ID: <4A1E86D7.4060400@glondu.net> Date: Thu, 28 May 2009 14:43:03 +0200 From: =?ISO-8859-1?Q?St=E9phane_Glondu?= User-Agent: Mozilla-Thunderbird 2.0.0.19 (X11/20090103) MIME-Version: 1.0 To: Julien Signoles Cc: caml list Subject: Re: [Caml-list] Typing diff between 3.10.0 and 3.11.0 References: <4A1E82B5.5050508@cea.fr> In-Reply-To: <4A1E82B5.5050508@cea.fr> X-Enigmail-Version: 0.95.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 8bit X-Greylist: Sender IP whitelisted, not delayed by milter-greylist-4.0.1 (shiva.jussieu.fr [134.157.0.165]); Thu, 28 May 2009 14:43:05 +0200 (CEST) X-Virus-Scanned: ClamAV 0.94.2/9400/Thu May 28 11:34:10 2009 on shiva.jussieu.fr X-Virus-Status: Clean X-Miltered: at jchkmail2.jussieu.fr with ID 4A1E86D9.003 by Joe's j-chkmail (http : // j-chkmail dot ensmp dot fr)! X-j-chkmail-Enveloppe: 4A1E86D9.003/134.157.168.1/hydrogene.pps.jussieu.fr/hydrogene.pps.jussieu.fr/ X-j-chkmail-Score: MSGID : 4A1E86D9.003 on jchkmail2.jussieu.fr : j-chkmail score : . : R=. U=. O=. B=0.053 -> S=0.053 X-j-chkmail-Status: Ham X-Spam: no; 0.00; signoles:01 ocaml:01 ocaml:01 endline:01 printf:01 steph:98 fmt:01 fmt:01 compile:01 typing:01 compiles:01 caml-list:01 diff:02 diff:02 output:02 Julien Signoles a écrit : > Does someone know why the following code compiles with ocaml 3.11.0 and > does not with ocaml 3.10.0? I find nothing in the documented ocaml > changes which could imply such a diff. > > ===== > let output = > print_endline ""; (* all is fine without this side effect *) > (fun fmt -> Format.printf fmt) > > let () = > output "%s" ""; > output "" > ===== The code does compile with 3.10.2. The closest thing I can find in the Changes file is PR#4354, fixed in 3.10.1. But this is just a quick guess. HTH, -- Stéphane