From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <thelema314@gmail.com>
X-Original-To: caml-list@sympa.inria.fr
Delivered-To: caml-list@sympa.inria.fr
Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82])
	by sympa.inria.fr (Postfix) with ESMTPS id D59147EC41
	for <caml-list@sympa.inria.fr>; Tue, 16 Oct 2012 14:43:03 +0200 (CEST)
Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  thelema314@gmail.com) identity=pra; client-ip=209.85.210.182;
  receiver=mail1-smtp-roc.national.inria.fr;
  envelope-from="thelema314@gmail.com";
  x-sender="thelema314@gmail.com";
  x-conformance=sidf_compatible
Received-SPF: Pass (mail1-smtp-roc.national.inria.fr: domain of
  thelema314@gmail.com designates 209.85.210.182 as permitted
  sender) identity=mailfrom; client-ip=209.85.210.182;
  receiver=mail1-smtp-roc.national.inria.fr;
  envelope-from="thelema314@gmail.com";
  x-sender="thelema314@gmail.com";
  x-conformance=sidf_compatible; x-record-type="v=spf1"
Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@mail-ia0-f182.google.com) identity=helo;
  client-ip=209.85.210.182;
  receiver=mail1-smtp-roc.national.inria.fr;
  envelope-from="thelema314@gmail.com";
  x-sender="postmaster@mail-ia0-f182.google.com";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AgQCAMxVfVDRVdK2m2dsb2JhbABFhUu6LwgjAQEBAQEICQsJFCeCIAEBAQQSAiQIARscAgMMBgULDQkWDwkDAgECARERAQUBHBMIAQEeh08BAw+dKQkDjCiBbIEKhRgKGScNWYh1AQUMi0MFgxeDIQOVa4ViiG8/hCs
X-IronPort-AV: E=Sophos;i="4.80,593,1344204000"; 
   d="scan'208";a="177445464"
Received: from mail-ia0-f182.google.com ([209.85.210.182])
  by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 16 Oct 2012 14:43:03 +0200
Received: by mail-ia0-f182.google.com with SMTP id k10so7687036iag.27
        for <caml-list@inria.fr>; Tue, 16 Oct 2012 05:43:03 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=20120113;
        h=message-id:date:from:user-agent:mime-version:to:subject:references
         :in-reply-to:content-type:content-transfer-encoding;
        bh=DQ1sTlFCMwvMUEKEggZL5wPKSmi24stVmF+/6KY0pR8=;
        b=Xe3x3dnDDmm2qca0QWNZpGCxgrfmJRN15dtDkvYTZSJL3DSmhNAVTwKDwI0BKb0wSZ
         o2/ymBWhk/E2Bkh07rxi7XpzNX9x42qZ/Z1hyWP0W+noHteAKv5zO22SXGCEAE+0QOhW
         R7May8ylLxV++KibJqdjjvr87Ly/vlWjPfA5RGkUiWpjfpp+7iRWDT2wplSlFSpTo6lo
         uXuuCj3ZQiuyIBxx1qyt1LMm/6KpvD0zTq+k4fYtB5WpVvU7RSBTpXDUClZPrQJ3IC87
         mq3Hmu3TAmmPvF4Sb8IOYN+30GSWYJpenqgI9MLqo+DbFq7lv5qj1SyPWDMpIqAIvJeM
         mxLw==
Received: by 10.50.36.201 with SMTP id s9mr8595053igj.17.1350391383092;
        Tue, 16 Oct 2012 05:43:03 -0700 (PDT)
Received: from [192.168.1.73] (99-121-78-10.lightspeed.lnngmi.sbcglobal.net. [99.121.78.10])
        by mx.google.com with ESMTPS id ez8sm8848037igb.17.2012.10.16.05.43.01
        (version=SSLv3 cipher=OTHER);
        Tue, 16 Oct 2012 05:43:02 -0700 (PDT)
Message-ID: <507D5656.7050603@gmail.com>
Date: Tue, 16 Oct 2012 08:43:02 -0400
From: Edgar Friendly <thelema314@gmail.com>
User-Agent: Mozilla/5.0 (Windows NT 6.1; WOW64; rv:16.0) Gecko/20121010 Thunderbird/16.0.1
MIME-Version: 1.0
To: caml-list@inria.fr
References: <87mwznxd3r.fsf@golf.niidar.ru>
In-Reply-To: <87mwznxd3r.fsf@golf.niidar.ru>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
Subject: Re: [Caml-list] using batteries syntax extensions

On 10/16/2012 12:19 AM, Ivan Gotovchits wrote:
>    let n = 2 * m where m = 2
>
> Batteries: 1.2.2-1
Batteries <1.0 had a 'pa_where' syntax extension that implemented this 
syntax; it was dropped to reduce the complexity of batteries. Only 
pa_estring and pa_comprehension are still a part of batteries. (And 
they're quite optional.)

E.