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 mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by yquem.inria.fr (Postfix) with ESMTP id B8550BBAF for ; Fri, 26 Nov 2010 23:06:48 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Aq0EAGi970yC4WBcgWdsb2JhbACjEBUBARYiIogst16FRwQ X-IronPort-AV: E=Sophos;i="4.59,263,1288566000"; d="scan'208";a="81064486" Received: from mgw2.diku.dk ([130.225.96.92]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 26 Nov 2010 23:06:48 +0100 Received: from localhost (localhost [127.0.0.1]) by mgw2.diku.dk (Postfix) with ESMTP id 3E9D119BFFB; Fri, 26 Nov 2010 23:06:46 +0100 (CET) Received: from mgw2.diku.dk ([127.0.0.1]) by localhost (mgw2.diku.dk [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id 29462-01; Fri, 26 Nov 2010 23:06:36 +0100 (CET) Received: from nhugin.diku.dk (nhugin.diku.dk [130.225.96.140]) by mgw2.diku.dk (Postfix) with ESMTP id 8D3604DC02B; Fri, 26 Nov 2010 23:02:18 +0100 (CET) Received: from ask.diku.dk (ask.diku.dk [130.225.96.225]) by nhugin.diku.dk (Postfix) with ESMTP id D417D6DF823; Fri, 26 Nov 2010 22:58:12 +0100 (CET) Received: by ask.diku.dk (Postfix, from userid 3767) id 7209C200AB; Fri, 26 Nov 2010 23:02:18 +0100 (CET) Received: from localhost (localhost [127.0.0.1]) by ask.diku.dk (Postfix) with ESMTP id 6747947B59; Fri, 26 Nov 2010 23:02:18 +0100 (CET) Date: Fri, 26 Nov 2010 23:02:18 +0100 (CET) From: Julia Lawall To: Mehdi Dogguy Cc: caml-list@yquem.inria.fr Subject: Re: [Caml-list] zero-arity constructor In-Reply-To: <4CF02BE2.6050500@pps.jussieu.fr> Message-ID: References: <4CF02BE2.6050500@pps.jussieu.fr> MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII X-Spam: no; 0.00; bug:01 iirc:01 wrote:01 wrote:01 compile:01 compiles:01 caml-list:01 constructor:01 caml:02 implemented:02 diku:03 fri:05 inria:06 feature:09 feature:09 On Fri, 26 Nov 2010, Mehdi Dogguy wrote: > 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). OK, thanks. I agree wth those that don't like the change... julia