From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr 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 AA6ECBBAF for ; Fri, 26 Nov 2010 22:56:25 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AokBAL+770yGnQCBk2dsb2JhbACDUJ9AFQEBAQEJCQoJEQMfiCynCpBSgSGDM3ME X-IronPort-AV: E=Sophos;i="4.59,262,1288566000"; d="scan'208";a="89463436" Received: from shiva.jussieu.fr ([134.157.0.129]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 26 Nov 2010 22:56:25 +0100 Received: from hydrogene.pps.jussieu.fr (hydrogene.pps.jussieu.fr [134.157.168.1]) by shiva.jussieu.fr (8.14.4/jtpda-5.4) with ESMTP id oAQLsv1Y074935 ; Fri, 26 Nov 2010 22:54:58 +0100 (CET) X-Ids:165 Received: from [IPv6:::1] (hydrogene.pps.jussieu.fr [134.157.168.1]) by hydrogene.pps.jussieu.fr (8.13.4/jtpda-5.4) with ESMTP id oAQLsu7f020121 ; Fri, 26 Nov 2010 22:54:56 +0100 Message-ID: <4CF02BE2.6050500@pps.jussieu.fr> Date: Fri, 26 Nov 2010 22:51:30 +0100 From: Mehdi Dogguy User-Agent: Mozilla/5.0 (X11; U; Linux x86_64; en-US; rv:1.9.1.15) Gecko/20101030 Icedove/3.0.10 MIME-Version: 1.0 To: Julia Lawall Cc: caml-list@yquem.inria.fr Subject: Re: [Caml-list] zero-arity constructor References: In-Reply-To: X-Enigmail-Version: 1.0.1 OpenPGP: id=8C2ED8FF Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit X-Miltered: at jchkmail.jussieu.fr with ID 4CF02CB2.001 by Joe's j-chkmail (http : // j-chkmail dot ensmp dot fr)! X-j-chkmail-Enveloppe: 4CF02CB2.001/134.157.168.1/hydrogene.pps.jussieu.fr/hydrogene.pps.jussieu.fr/ X-Spam: no; 0.00; bug:01 iirc:01 W8:98 W10:98 wrote:01 compile:01 pps:01 compiles:01 pps:01 caml-list:01 constructor:01 jussieu:01 jussieu:01 caml:02 implemented:02 On 11/26/2010 10:46 PM, Julia Lawall wrote: > The following code compiles in 3.12.0 but doesn't compile in 3.10.2. > Is it a bug or a feature? > It's a feature that was implemented in 3.11.0 (iirc). See: http://caml.inria.fr/mantis/view.php?id=4675 (and other related bugreports). Regards, -- Mehdi Dogguy مهدي الدڤي http://www.pps.jussieu.fr/~dogguy Tel.: (+33).1.44.27.28.38