From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id q19AuF7A012240 for ; Thu, 9 Feb 2012 11:56:16 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AnwBACulM0/RVaC2kGdsb2JhbABDrxoIIgEBAQEJCQ0HFAQjgXIBAQEDARICLAEBNwEECwsLOyISAQUBHAY1h1qdSgqKOYQoAYZmB4wUBAMEBAcOBgEDCAEBIgECAYd7lTSOIz2EAg X-IronPort-AV: E=Sophos;i="4.73,389,1325458800"; d="scan'208";a="130711560" Received: from mail-gy0-f182.google.com ([209.85.160.182]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 09 Feb 2012 11:56:10 +0100 Received: by ghbg15 with SMTP id g15so1063129ghb.27 for ; Thu, 09 Feb 2012 02:56:09 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlemail.com; s=gamma; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :cc:content-type; bh=j3ECtlUcvPG8yJk95Sw55XVpR2ICCN6Z+t30GyktrxY=; b=KJxoR4FVvFmKGNTWcNIsO279X6qaVLaSLsSkqyBvjXsRDo+TLc3vdsjh+bB7qSq+x3 S9D5RCsPgYet9PfuseF+tabkr5ibE/TUwEkXU0zydmtNajnJ0//qHeX/f3ScCpUJeUtU YVxiRV9dG09gu4Do65RCCKmYGVtYXcuuij4Ko= MIME-Version: 1.0 Received: by 10.236.93.4 with SMTP id k4mr1296285yhf.114.1328784969303; Thu, 09 Feb 2012 02:56:09 -0800 (PST) Received: by 10.100.192.19 with HTTP; Thu, 9 Feb 2012 02:56:09 -0800 (PST) In-Reply-To: <4F338C76.8050407@gmail.com> References: <4F326EA6.20900@gmail.com> <20120208130536.GB22145@ccellier.rd.securactive.lan> <4F338C76.8050407@gmail.com> Date: Thu, 9 Feb 2012 10:56:09 +0000 Message-ID: From: Wojciech Meyer To: =?UTF-8?B?TWF0ZWogS2/FocOtaw==?= <5764c029b688c1c0d24a2e97cd764f@gmail.com> Cc: caml-list@inria.fr Content-Type: text/plain; charset=ISO-8859-1 Subject: Re: [Caml-list] syntactic detail Hi, > This could be interesting (and in some special cases also useful) > optional syntactic sugar. I if were it my power, I would drop it from > the core language. You can't really make it as an extension, because it's a lexeme and it's not possible to extend the lexer right now - if you are thinking about Camlp4. Wojciech