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 D533D8005F for ; Wed, 16 Nov 2016 15:26:38 +0100 (CET) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=christoph.hoeger@tu-berlin.de; spf=None smtp.mailfrom=christoph.hoeger@tu-berlin.de; spf=None smtp.helo=postmaster@mail.tu-berlin.de Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of christoph.hoeger@tu-berlin.de) identity=pra; client-ip=130.149.7.33; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="christoph.hoeger@tu-berlin.de"; x-sender="christoph.hoeger@tu-berlin.de"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of christoph.hoeger@tu-berlin.de) identity=mailfrom; client-ip=130.149.7.33; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="christoph.hoeger@tu-berlin.de"; x-sender="christoph.hoeger@tu-berlin.de"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail.tu-berlin.de) identity=helo; client-ip=130.149.7.33; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="christoph.hoeger@tu-berlin.de"; x-sender="postmaster@mail.tu-berlin.de"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AJbZurRGCIcpk0vm97R16X51GYnF86YWxBRYc798d?= =?us-ascii?q?s5kLTJ78r86wAkXT6L1XgUPTWs2DsrQf2rGQ6vyrBzdIyK3CmUhKSIZLWR4BhJ?= =?us-ascii?q?detC0bK+nBN3fGKuX3ZTcxBsVIWQwt1Xi6NU9IBJS2PAWK8TW94jEIBxrwKxd+?= =?us-ascii?q?KPjrFY7OlcS30P2594HObwlSijewZb1/IA+roQjeucUbgIVvIbstxxXUpXdFZ/?= =?us-ascii?q?5Yzn5yK1KJmBb86Maw/Jp9/ClVpvks6c1OX7jkcqohVbBXAygoPG4z5M3wqBnM?= =?us-ascii?q?VhCP6WcGUmUXiRVHHQ7I5wznU5jrsyv6su192DSGPcDzULs5Vyiu47ttRRT1ji?= =?us-ascii?q?oMKjw3/3zNisFokqxVoA+vpxt8zYDabo6aO+Zxc7jSfd8GX2dPWdpdWiJDD466?= =?us-ascii?q?coABD/ABPeFdr4TluVYOrQG+BQi3BOPzzT9Inn/20rU43fwnHgHJwhYgFM8JvX?= =?us-ascii?q?vIrNX1LqYSUfupzKnP1TXDb+la2Tf66IfWfRAuv+uMUKlsccrM0EUgDB3Kjk+U?= =?us-ascii?q?qYzkOTOZzPkCvHaC4udmSOmhiHYnphlsrjWh2ssgkJTFi40Rx1ze9yh12og4KN?= =?us-ascii?q?OgREN/fNKoCppduiCAO4doXM8uWXxktSQ+x7AApJW1ZjIFyI49yB7ac/GHc5aH?= =?us-ascii?q?4hbkVOuJJDd3nnNleLalixau7Eis0/bzWdeu0FZOrypFlMPAuW0T2BDL68iHTO?= =?us-ascii?q?Vy/lu51DqS2Q3f9vtILV07mKffMZIswKQ8m5QdvEjbGy/5gkT2jKuYdkU+/eio?= =?us-ascii?q?7vzqbanmpp+GNo90kR3+MqM2msy/G+g4Mg8OUHaU+euizr3u5lH5QKhTgvItjK?= =?us-ascii?q?bZqpTaJcUdpqKjHgBazJ4v6wyjADe+zNQYgX4HIUpZdx2diojpP0jCIPT5Dfek?= =?us-ascii?q?n1ShiyxrxvDDPr35GJrBNHnDkLH7fbZ88UFQ0gQzzcoMr65TX7oIJfa7R1T8rs?= =?us-ascii?q?eQWhQwNgjxx+f8FP180JkfUCSBGPnKHrnVtAqj5vguOPWLfI8imKjyJuJts/Xu?= =?us-ascii?q?l34ihVgFfe+p2pYYZWqQAukjKUiDZXvqxNsMRzRZ9jEiRfDn3QXRGQVYYGy/Cv?= =?us-ascii?q?ox?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DRAABQbCxYhyEHlYJeHgYMgzcBAQEBA?= =?us-ascii?q?YEjVLkuggeILj8UAQEBAQEBAQEBAQESAQEBCA0JCR0wgjMYgkCBMwJfDQYCAQG?= =?us-ascii?q?IaASiMo98gimLcAEWDog5iXILLYJdBZpCgUSCDoF6lRqGJZFXHoUPgWlxh2oBA?= =?us-ascii?q?QE?= X-IPAS-Result: =?us-ascii?q?A0DRAABQbCxYhyEHlYJeHgYMgzcBAQEBAYEjVLkuggeILj8?= =?us-ascii?q?UAQEBAQEBAQEBAQESAQEBCA0JCR0wgjMYgkCBMwJfDQYCAQGIaASiMo98gimLc?= =?us-ascii?q?AEWDog5iXILLYJdBZpCgUSCDoF6lRqGJZFXHoUPgWlxh2oBAQE?= X-IronPort-AV: E=Sophos;i="5.31,500,1473112800"; d="asc'?scan'208";a="200556611" Received: from mail.tu-berlin.de ([130.149.7.33]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 16 Nov 2016 15:26:08 +0100 X-tubIT-Incoming-IP: 91.66.22.179 Received: from ip5b4216b3.dynamic.kabel-deutschland.de ([91.66.22.179] helo=[192.168.178.42]) by mail.tu-berlin.de (exim-4.84_2/mailfrontend-7) with esmtpa for id 1c71A6-0001bs-2o; Wed, 16 Nov 2016 15:26:07 +0100 To: caml users From: =?UTF-8?Q?Christoph_H=c3=b6ger?= Organization: =?UTF-8?Q?Technische_Universit=c3=a4t_Berlin?= Message-ID: Date: Wed, 16 Nov 2016 15:26:06 +0100 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:45.0) Gecko/20100101 Thunderbird/45.4.0 MIME-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha1; protocol="application/pgp-signature"; boundary="TTi0o78mQD9DTK4u32TwpnuQf779A0dnX" X-PMX-Version: 6.0.0.2142326, Antispam-Engine: 2.7.2.2107409, Antispam-Data: 2016.11.16.141516 X-PMX-Spam: Gauge=IIIIIII, Probability=0%, Report='' Subject: [Caml-list] Where is the ocaml-monadic ppx rewriter This is an OpenPGP/MIME signed message (RFC 4880 and 3156) --TTi0o78mQD9DTK4u32TwpnuQf779A0dnX Content-Type: multipart/mixed; boundary="dDHTIauCwf7LMbW6f3ou3WLTs84SAAs66"; protected-headers="v1" From: =?UTF-8?Q?Christoph_H=c3=b6ger?= To: caml users Message-ID: Subject: Where is the ocaml-monadic ppx rewriter --dDHTIauCwf7LMbW6f3ou3WLTs84SAAs66 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable 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 --=20 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 --dDHTIauCwf7LMbW6f3ou3WLTs84SAAs66-- --TTi0o78mQD9DTK4u32TwpnuQf779A0dnX Content-Type: application/pgp-signature; name="signature.asc" Content-Description: OpenPGP digital signature Content-Disposition: attachment; filename="signature.asc" -----BEGIN PGP SIGNATURE----- Version: GnuPG v2 iEYEARECAAYFAlgsbH4ACgkQhMBO4cVSGS/jPQCgl0CyglQmyYzaHLclu5yU0t9d FFkAoJYacyPO1ZTYe+vi8p0wEMYqkQPq =qbzy -----END PGP SIGNATURE----- --TTi0o78mQD9DTK4u32TwpnuQf779A0dnX--