From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by yquem.inria.fr (Postfix) with ESMTP id 0D1C9BC57 for ; Sun, 28 Nov 2010 12:13:34 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AssBAAzI8UzUGyoDkWdsb2JhbACjCBUBAQEBCQsKBxEDH8EzhUcEimGDDxo X-IronPort-AV: E=Sophos;i="4.59,269,1288566000"; d="scan'208";a="80338193" Received: from smtp3-g21.free.fr ([212.27.42.3]) by mail4-smtp-sop.national.inria.fr with ESMTP; 28 Nov 2010 12:13:32 +0100 Received: from [192.168.0.11] (unknown [78.192.0.38]) by smtp3-g21.free.fr (Postfix) with ESMTP id AC877A6163; Sun, 28 Nov 2010 12:13:25 +0100 (CET) Message-ID: <4CF23954.50303@frisch.fr> Date: Sun, 28 Nov 2010 12:13:24 +0100 From: Alain Frisch User-Agent: Mozilla/5.0 (Windows; U; Windows NT 6.1; en-US; rv:1.9.2.12) Gecko/20101027 Lightning/1.0b2 Thunderbird/3.1.6 MIME-Version: 1.0 To: bluestorm Cc: mark@proof-technologies.com, mehdi.dogguy@pps.jussieu.fr, caml-list@yquem.inria.fr Subject: Re: [Caml-list] zero-arity constructor References: <1290851344516@names.co.uk> In-Reply-To: Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit X-Spam: no; 0.00; frisch:01 frisch:01 syntax:01 plead:98 wrote:01 caml-list:01 constructor:01 alain:01 alain:01 guess:04 probably:07 probably:07 suggested:07 suspect:09 frankly:10 On 11/27/2010 11:31 AM, bluestorm wrote: > Reversing the specific > 0-ary modification suggested by Alain is probably easier, as I suspect > most users don't use that one much, but Alain probably makes use of it; As I've been designated as the primary responsible for that uninspired change (I plead guilty), I guess it is my responsibility to state here that frankly, I don't give a damn. That said, enabling the warning by default sounds better to me than reverting the change or introducing a new syntax. -- Alain