From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 0A6068005F for ; Thu, 17 Nov 2016 05:03:03 +0100 (CET) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=bmillwood@janestreet.com; spf=Pass smtp.mailfrom=bmillwood@janestreet.com; spf=None smtp.helo=postmaster@mxout3.mail.janestreet.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of bmillwood@janestreet.com) identity=pra; client-ip=38.105.200.229; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="bmillwood@janestreet.com"; x-sender="bmillwood@janestreet.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of bmillwood@janestreet.com designates 38.105.200.229 as permitted sender) identity=mailfrom; client-ip=38.105.200.229; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="bmillwood@janestreet.com"; x-sender="bmillwood@janestreet.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mxout3.mail.janestreet.com) identity=helo; client-ip=38.105.200.229; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="bmillwood@janestreet.com"; x-sender="postmaster@mxout3.mail.janestreet.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AOuzPvBbVq1sSnJg3oTGvtTv/LSx+4OfEezUN459i?= =?us-ascii?q?sYplN5qZoMSybnLW6fgltlLVR4KTs6sC0LuN9fm9EjJQqb+681k6OKRWUBEEjc?= =?us-ascii?q?hE1ycBO+WiTXPBEfjxciYhF95DXlI2t1uyMExSBdqsLwaK+i764jEdAAjwOhRo?= =?us-ascii?q?LerpBIHSk9631+ev8JHPfglEnjSwbLd8IRmssAnctsYajIphJ60s1hbHv3xEdv?= =?us-ascii?q?hMy2h1P1yThRH85smx/J5n7Stdvu8q+tBDX6vnYak2VKRUAzs6PW874s3rrgTD?= =?us-ascii?q?QhCU5nQASGUWkwFHDBbD4RrnQ5r+qCr6tu562CmHIc37SK0/VDq+46t3ThLjlS?= =?us-ascii?q?EKPCM7/m7KkMx9lKBUoByhqRJxwIDafZ+bO+Zlc6zHYd8XX3BMUtpNWyFDBI63?= =?us-ascii?q?cosBD/AGPeZdt4TwukUBrR2jDgerBePvzjtIh3Hx3a09zusqDAbL0xclH9IPtH?= =?us-ascii?q?TUqNv0NKAVUe+o16TIzy/Mb/VI1jfm9IjIaA4uru+QXb5qbcXRzkwvGhrDg16N?= =?us-ascii?q?qoLlJyuY2+oOvmSB8uZsSeKih3Q5pw1tvjSj3NkghpfNi44NyF3J+j91zJsrKd?= =?us-ascii?q?C4UkJ2YsCoHIFSui2EMYZ9X9ksTHtyuCkgz70LoZ67czYOyJQg3xPfbvOGc4+V?= =?us-ascii?q?4hL/WuudOzJ4i2hkeLK7nRqy81KvyuviWcmvzFZKtDRKncfQtnwXyxPT7c2HRu?= =?us-ascii?q?N8/kenxzmPyxje5+9HLEwuiKbXN54szqQumpYPrUjPBDH6lFvygaOOc0Ur4Omo?= =?us-ascii?q?6+DpYrX8oZ+cMpd5hRr7MqQvnsy/Beo5Mg8JX2eG4um81qfs/UvnT7VRkv02iL?= =?us-ascii?q?fWv47GJcgBuqG5BApV3p456xmjFzemzMgYnX4fIV1ZYh2HiozpN0jKIPD5Fve/?= =?us-ascii?q?n0+hkCxrxvDDJr3uGI/BLnnFkLf7fLZy8VRQyAQpzYMX25UBIbEbIenvXVfxg/?= =?us-ascii?q?xGARIje1i/w/zmE8l6zoNYWWWCDaKDGL/P9FWF/OYuJa+AadlGliz6Lq0P6vim?= =?us-ascii?q?qH49nUAaeqXhiZESaXS8AfNhL22baHzhmcsbHGoW+AE5Sbq52xW5TTdPaiPqDO?= =?us-ascii?q?oH7TYhBdf+AA=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0C5AAAUKy1YfeXIaSZeHAEBBAEBCgEBF?= =?us-ascii?q?wEBBAEBCgEBgwwBAQEBAYF3B404lw6PSIUbggeGIQKCDQc/FAEBAQEBAQEBAQE?= =?us-ascii?q?BEgEBCRYJTYIzGIIeAQEDARIRHQEBNwEECwkCBAc3AgIiEgEFARwGEyKIQggDl?= =?us-ascii?q?H2PUoEyPzKKaWeCKYMKAQEFiFABAQEBAQEBAwEBAQEBAQEBFwgQhiyEWodNgl2?= =?us-ascii?q?PYYpmkGmQI41NgkcTHoESHoFaCwGDCYIVZYgmAQEB?= X-IPAS-Result: =?us-ascii?q?A0C5AAAUKy1YfeXIaSZeHAEBBAEBCgEBFwEBBAEBCgEBgww?= =?us-ascii?q?BAQEBAYF3B404lw6PSIUbggeGIQKCDQc/FAEBAQEBAQEBAQEBEgEBCRYJTYIzG?= =?us-ascii?q?IIeAQEDARIRHQEBNwEECwkCBAc3AgIiEgEFARwGEyKIQggDlH2PUoEyPzKKaWe?= =?us-ascii?q?CKYMKAQEFiFABAQEBAQEBAwEBAQEBAQEBFwgQhiyEWodNgl2PYYpmkGmQI41Ng?= =?us-ascii?q?kcTHoESHoFaCwGDCYIVZYgmAQEB?= X-IronPort-AV: E=Sophos;i="5.31,651,1473112800"; d="scan'208,217";a="200614453" Received: from mxout3.mail.janestreet.com ([38.105.200.229]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 17 Nov 2016 05:03:02 +0100 Received: from tot-qpr-mailcore1.delacy.com ([172.27.56.68] helo=tot-qpr-mailcore1) by mxout3.mail.janestreet.com with esmtps (UNKNOWN:DHE-RSA-AES256-GCM-SHA384:256) (Exim 4.82) (envelope-from ) id 1c7Due-000528-59 for caml-list@inria.fr; Wed, 16 Nov 2016 23:03:00 -0500 X-JS-Flow: external X-JS-Scanner-attachment: (ok) No attachments Received: by tot-qpr-mailcore1 with JS-mailcore (0.1) (envelope-from ) id BYLSv0-AAADB0-D1; 2016-11-16 23:03:00.124538-05:00 Received: from mail-wm0-f72.google.com ([74.125.82.72]) by mxgoog1.mail.janestreet.com with esmtps (UNKNOWN:AES128-GCM-SHA256:128) (Exim 4.72) (envelope-from ) id 1c7Dud-0002X2-WF for caml-list@inria.fr; Wed, 16 Nov 2016 23:03:00 -0500 Received: by mail-wm0-f72.google.com with SMTP id a20so39430007wme.5 for ; Wed, 16 Nov 2016 20:02:59 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=janestreet.com; s=google; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :cc; bh=/qPGEG+2/NGZIE/noD4GBzOyZJb8aVMpb8+nL55aLBc=; b=c1+DAzPOGY0LLc5lGaoKWwm9zFzyd5k08rm3cgBNBfZej5ovVXY1+YCk22aOXD5h2w ZTXhA7g9pImbSstBADH6rQrIbovhckFU4X0zZCzIdCYCXcMRgjKLzCsvsKhnHipME+gI FqRz7uU3/AReYGCNE84sHQsnnVU6dbKANSCBY= X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:mime-version:in-reply-to:references:from:date :message-id:subject:to:cc; bh=/qPGEG+2/NGZIE/noD4GBzOyZJb8aVMpb8+nL55aLBc=; b=O0fMak3+PUBXmobDwvednCc0tmdMi8Hb6l+AxtCvCh8LcFq7jv95HZvyiX298If8U3 4hndx3ALd9e8ObsnWDNrGLP/rJtAvdiSWzQsCxjM0R29XP6tvNJUSd/LKFuXi2ZVTycB 9H58M5uUA7GpULHj0MBlVupF7Ho+FVzh9yaLES4lK5TQa7xNmKtaI8lfgJ8UCTAlhySi pKmfHXWJYpYnCdADfY9PwPySmUraQBSJRGaOvIn0D0mCVvWIDYB4sCZrE6p/Vn+7xqkB RqDiF4mwnsSYXJink8Y2dccQhlK4EnKDDzqrumUJjzt2HZHF9vJgbYad/BCB9iKDn6dx tcSQ== X-Gm-Message-State: ABUngvemt4Cq/Ct04GBuLxWWXJqfPun5O1Ii1aXXiDDnVMK0P27gzIPcnRZW9PHClPT/CwAHHNxkLhVFwUyaRQIQNcUqWNCU2qozWAcZe96aAtYBRncxd4I6Ad7cWI5wEzXw0s+avfd17q80kK4u X-Received: by 10.25.234.214 with SMTP id y83mr98703lfi.153.1479355378926; Wed, 16 Nov 2016 20:02:58 -0800 (PST) X-Received: by 10.25.234.214 with SMTP id y83mr98699lfi.153.1479355378709; Wed, 16 Nov 2016 20:02:58 -0800 (PST) MIME-Version: 1.0 Received: by 10.25.216.137 with HTTP; Wed, 16 Nov 2016 20:02:38 -0800 (PST) In-Reply-To: References: From:Ben Millwood Date: Thu, 17 Nov 2016 12:02:38 +0800 Message-ID: To:=?UTF-8?Q?Christoph_H=C3=B6ger?= Cc:caml users Content-Type: multipart/alternative; boundary=94eb2c0e75bcd86cd70541774306 X-JS-Processed-by: mailcore X-Sender-Copy: hkg-copy Subject: Re: [Caml-list] Where is the ocaml-monadic ppx rewriter --94eb2c0e75bcd86cd70541774306 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable Can you say more about your problems with ppx_let? I've used it for let%map at least. On 16 November 2016 at 22:26, Christoph H=C3=B6ger wrote: > Dear all, > > I wanted to give the let%bind syntax a try. ppx_let seems to be buggy, > so I installed ocaml-monadic. This however, does not come with a rewriter? > > % opam install ocaml-monadic > > :( > [NOTE] Package ocaml-monadic is already installed (current version is > 0.3.2). > % ls ~/.opam/4.04.0/lib/ocaml-monadic > META opam.config > > ^- Shouldn't there be a binary for the ast-mapping? > > Is there anyone actually using let%bind in 4.04? If so, how? > > regards, > > Christoph > > -- > Christoph H=C3=B6ger > > Technische Universit=C3=A4t Berlin > Fakult=C3=A4t IV - Elektrotechnik und Informatik > =C3=9Cbersetzerbau und Programmiersprachen > > Sekr. TEL12-2, Ernst-Reuter-Platz 7, 10587 Berlin > > Tel.: +49 (30) 314-24890 > E-Mail: christoph.hoeger@tu-berlin.de > > --94eb2c0e75bcd86cd70541774306 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
Can you say more about your problems with ppx_let? I'v= e used it for let%map at least.

On 16 November 2016 at 22:26, Christoph H=C3=B6ger <christoph.hoeger@tu-berlin.de> wrote:
Dear all,

I wanted to give the let%bind syntax a try. ppx_let seems to be buggy,
so I installed ocaml-monadic. This however, does not come with a rewriter?<= br>
% opam install ocaml-monadic

=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0:(
[NOTE] Package ocaml-monadic is already installed (current version is
0.3.2).
% ls ~/.opam/4.04.0/lib/ocaml-monadic
META=C2=A0 opam.config

^- Shouldn't there be a binary for the ast-mapping?

Is there anyone actually using let%bind in 4.04? If so, how?

regards,

Christoph

--
Christoph H=C3=B6ger

Technische Universit=C3=A4t Berlin
Fakult=C3=A4t IV - Elektrotechnik und Informatik
=C3=9Cbersetzerbau und Programmiersprachen

Sekr. TEL12-2, Ernst-Reuter-Platz 7, 10587 Berlin

Tel.: +49 (30) 314-24890
E-Mail: = christoph.hoeger@tu-berlin.de


--94eb2c0e75bcd86cd70541774306--