From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <Julien.Signoles@cea.fr>
X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr
X-Spam-Level: *
X-Spam-Status: No, score=1.9 required=5.0 tests=AWL,SPF_SOFTFAIL 
	autolearn=disabled version=3.1.3
X-Original-To: caml-list@yquem.inria.fr
Delivered-To: caml-list@yquem.inria.fr
Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83])
	by yquem.inria.fr (Postfix) with ESMTP id C4CCEBC37
	for <caml-list@yquem.inria.fr>; Thu, 28 May 2009 14:25:33 +0200 (CEST)
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: ArcBALYfHkqEpqxqmWdsb2JhbACYBAEBAQEBCAsKBxG1ToQNBQ
X-IronPort-AV: E=Sophos;i="4.41,265,1241388000"; 
   d="scan'208";a="26947489"
Received: from cirse-out.extra.cea.fr ([132.166.172.106])
  by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 28 May 2009 14:25:33 +0200
Received: from pisaure.intra.cea.fr (pisaure.intra.cea.fr [132.166.88.21])
	by cirse.extra.cea.fr (8.14.2/8.14.2/CEAnet-Internet-out-2.0) with ESMTP id n4SCPQUO000623
	(version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NOT)
	for <caml-list@inria.fr>; Thu, 28 May 2009 14:25:26 +0200
Received: from muguet1.intra.cea.fr (muguet1.intra.cea.fr [132.166.192.6])
	by pisaure.intra.cea.fr (8.14.2/8.14.2) with ESMTP id n4SCPQCK031041
	for <caml-list@inria.fr>; Thu, 28 May 2009 14:25:26 +0200
	(envelope-from Julien.Signoles@cea.fr)
Received: from [132.166.132.51] (is010215.intra.cea.fr [132.166.132.51])
	by muguet1.intra.cea.fr (8.13.8/8.13.8/CEAnet-Intranet-out-1.1) with ESMTP id n4SCPPS0009292
	for <caml-list@inria.fr>; Thu, 28 May 2009 14:25:25 +0200
Message-ID: <4A1E82B5.5050508@cea.fr>
Date: Thu, 28 May 2009 14:25:25 +0200
From: Julien Signoles <Julien.Signoles@cea.fr>
User-Agent: Thunderbird 2.0.0.21 (X11/20090409)
MIME-Version: 1.0
To: caml list <caml-list@inria.fr>
Subject: Typing diff between 3.10.0 and 3.11.0
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
X-Spam: no; 0.00; signoles:01 signoles:01 ocaml:01 ocaml:01 endline:01 printf:01 fmt:01 fmt:01 typing:01 compiles:01 cea:01 diff:02 diff:02 output:02 output:02 

Hello all,

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 ""
=====

Best regards,
Julien Signoles