From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <yotambarnoy@gmail.com>
X-Original-To: caml-list@sympa.inria.fr
Delivered-To: caml-list@sympa.inria.fr
Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83])
	by sympa.inria.fr (Postfix) with ESMTPS id B66EA7F860
	for <caml-list@sympa.inria.fr>; Fri,  7 Mar 2014 19:04:28 +0100 (CET)
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  yotambarnoy@gmail.com) identity=pra; client-ip=209.85.216.45;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="yotambarnoy@gmail.com";
  x-sender="yotambarnoy@gmail.com";
  x-conformance=sidf_compatible
Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of
  yotambarnoy@gmail.com designates 209.85.216.45 as permitted
  sender) identity=mailfrom; client-ip=209.85.216.45;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="yotambarnoy@gmail.com";
  x-sender="yotambarnoy@gmail.com";
  x-conformance=sidf_compatible; x-record-type="v=spf1"
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@mail-qa0-f45.google.com) identity=helo;
  client-ip=209.85.216.45;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="yotambarnoy@gmail.com";
  x-sender="postmaster@mail-qa0-f45.google.com";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AkUCAGYJGlPRVdgtlWdsb2JhbABahBiCR79pCBYOAQEBAQcNCQkSKoIcUAEbHgMSCAECBV0BEQEFASKHdwEDEZ9kgw2MX4MOlXQKGScNZIYfEQEFDI1nhScEiVCOc5A9GCmEeB8
X-IPAS-Result: AkUCAGYJGlPRVdgtlWdsb2JhbABahBiCR79pCBYOAQEBAQcNCQkSKoIcUAEbHgMSCAECBV0BEQEFASKHdwEDEZ9kgw2MX4MOlXQKGScNZIYfEQEFDI1nhScEiVCOc5A9GCmEeB8
X-IronPort-AV: E=Sophos;i="4.97,609,1389740400"; 
   d="scan'208";a="61795890"
Received: from mail-qa0-f45.google.com ([209.85.216.45])
  by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 07 Mar 2014 19:04:28 +0100
Received: by mail-qa0-f45.google.com with SMTP id hw13so4367426qab.18
        for <caml-list@inria.fr>; Fri, 07 Mar 2014 10:04:27 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=20120113;
        h=mime-version:from:date:message-id:subject:to:content-type;
        bh=ed0JpSVNbMo2VaqL15zWa8KgDWBGqH5hY01km4nK9ek=;
        b=ZaJ2GiV+4zWROGfu9PTLP1pa/AovNGNW1SUfWc9dL1rLrj9g4xYtkqfDqLQlf2cy1l
         ywCqTrWa22MjLjH3oMPjwSWbgVQj/v5JmBOBKuRdyTJIUlxxu3bXsZyUoTMx0W6e99S6
         jX+3oFWdx8o1URpjYqZUvtHs/m1udPPajazKiQOs46w4j9aXMnAuIxwErNfIT3OMGsSq
         Y4rRty/AjAQb3stzdpB/iG5bX9muSg+uI/IPZEbOEvskCQU5dbECESssCgWixqdWO0PJ
         cG5gCpq+4tg3P1XTD5XIgSMs2pHVH2bBllS57LfMQs3KdpSz+pfMKYbYgP7nNweAdy1U
         PCJA==
X-Received: by 10.140.30.230 with SMTP id d93mr22002699qgd.51.1394215467280;
 Fri, 07 Mar 2014 10:04:27 -0800 (PST)
MIME-Version: 1.0
Received: by 10.224.106.137 with HTTP; Fri, 7 Mar 2014 10:04:06 -0800 (PST)
From: Yotam Barnoy <yotambarnoy@gmail.com>
Date: Fri, 7 Mar 2014 13:04:06 -0500
Message-ID: <CAN6ygOme5A-3DJ1Hq48=hNCu7Z_75Zw_OGLir+3oV101XDiNEQ@mail.gmail.com>
To: Ocaml Mailing List <caml-list@inria.fr>
Content-Type: multipart/alternative; boundary=001a113a5a9eaaf22304f40815f7
Subject: [Caml-list] Batteries Included syntax extensions?

--001a113a5a9eaaf22304f40815f7
Content-Type: text/plain; charset=ISO-8859-1

I have a question about Batteries Included. Specifically, how do I get the
syntax extensions working and which syntax extensions are available? The
various bits of documentation I've found seemed either contradictory or did
not mention any syntax extensions at all. I'm specifically interested in
things like automatic rope generation and list comprehensions.

I have the latest version installed from opam.

Thanks
Yotam

--001a113a5a9eaaf22304f40815f7
Content-Type: text/html; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr"><div><div>I have a question about Batteries Included. Spec=
ifically, how do I get the syntax extensions working and which syntax exten=
sions are available? The various bits of documentation I&#39;ve found seeme=
d either contradictory or did not mention any syntax extensions at all. I&#=
39;m specifically interested in things like automatic rope generation and l=
ist comprehensions.<br>

<br>I have the latest version installed from opam.<br><br></div>Thanks<br><=
/div>Yotam<br></div>

--001a113a5a9eaaf22304f40815f7--