From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr 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 0C0BF80043 for ; Mon, 14 Nov 2016 13:23:36 +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=3ARo82NxU0+zcuYybDcla89MCbGmTV8LGtZVwlr6E/?= =?us-ascii?q?grcLSJyIuqrYYxyFt8tkgFKBZ4jH8fUM07OQ6PG7HzVYqs3R+Fk5M7V0Hycfjs?= =?us-ascii?q?sXmwFySOWkMmbcaMDQUiohAc5ZX0Vk9XzoeWJcGcL5ekGA6ibqtW1aFRrwLxd6?= =?us-ascii?q?KfroEYDOkcu3y/qy+5rOaAlUmTaxe71/IRG4oAnLq8UanYRuJ6gyxxDUvnZGZu?= =?us-ascii?q?NayH9yK1mOhRj8/MCw/JBi8yRUpf0s8tNLXLv5caolU7FWFSwqPG8p6sLlsxnD?= =?us-ascii?q?VhaP6WAHUmoKiBpIAhPK4w/8U5zsryb1rOt92C2dPc3rUbA5XCmp4ql3RBP0ji?= =?us-ascii?q?oMKjg0+3zVhMNtlqJWuAyvqRxizY7TY4+bOvRxcazBct4BSmpNQtxcWStdDo6y?= =?us-ascii?q?bYYCCfcKM+ZCr4n6olsDtQWzBQm2BOPu0T9Imnj23bU60+s5Ew/e2gMgEMwUsH?= =?us-ascii?q?/Jq9j6KKcSUfq0zKnT0TXDaOtW2Tfn5IjIdRAuv/6MUqxqccfK1UkvChrJgU6O?= =?us-ascii?q?poz/OzOV1+INv3KG4OV+TO+ijXMspQJpojW328shhJXFipgIxl3L8Sh12oQ4Kc?= =?us-ascii?q?e2RUN1edKpFIZcuzubOoZ3WM8uXX9ktDwnxrAEvZO2ejUBxo49yB7FcfOHdpCF?= =?us-ascii?q?4hL9W+aVJjd1nHdld6i+hxa260Sg1vD8WtCv31lUtCpFltjMtnYX2xPO9MeLUv?= =?us-ascii?q?p9/kG/1jaTzw3f9+9JLVwumabGJJMsxqQ8m5gJvUnNECL6gED2g7WXdkUg9Oio?= =?us-ascii?q?8ePnYrD+q5CAN490kAD+Mr8ymsy4GeQ4MhICX2ic+eui273s41f5Ta5Wjv0ri6?= =?us-ascii?q?XWq47VJd4fpq64BQ9ZyJss5AinAze8zNsYhWUHLE5CeB+fk4fmIVTOIPThAfe7?= =?us-ascii?q?glSsiytryuvdPrzhB5XNNmLMnK3gfbZ78U5cyRA8wcpR55JOWfk9J6f4U0r1/M?= =?us-ascii?q?HDAwUie1i/yuPjTdF8zZ82WGSVA6bfPrmE4nGS4ed6COmWZZQJvy79HNi76PP0?= =?us-ascii?q?xSsymUUcZrWuxZtRaHe1Efl8C1mEJHDhmNMAFyEGs1xtH6TRlFSeXGsLND6JVK?= =?us-ascii?q?Um62RjBQ=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BNAABUrClYhyEHlYJeHQEFAQsBGAEFA?= =?us-ascii?q?QsBgwYBAQEBAYEjVI0+q2mCB4g0PxQBAQEBAQEBAQEBARIBAQEKCwkJHTCCMxi?= =?us-ascii?q?CGAQkW1gCXw0GAgEBiFUIBJ8Mj3yCKYtqDog5CIlpCy2CXQWISYdYiiCBQ4IOg?= =?us-ascii?q?XqDf5EOhiWRTh6EJQxXgWlxh3wBAQE?= X-IPAS-Result: =?us-ascii?q?A0BNAABUrClYhyEHlYJeHQEFAQsBGAEFAQsBgwYBAQEBAYE?= =?us-ascii?q?jVI0+q2mCB4g0PxQBAQEBAQEBAQEBARIBAQEKCwkJHTCCMxiCGAQkW1gCXw0GA?= =?us-ascii?q?gEBiFUIBJ8Mj3yCKYtqDog5CIlpCy2CXQWISYdYiiCBQ4IOgXqDf5EOhiWRTh6?= =?us-ascii?q?EJQxXgWlxh3wBAQE?= X-IronPort-AV: E=Sophos;i="5.31,638,1473112800"; d="asc'?scan'208";a="200260895" 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; 14 Nov 2016 13:23:35 +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-8) with esmtpa for id 1c6GIP-0004HI-kL; Mon, 14 Nov 2016 13:23:34 +0100 To: caml users From: =?UTF-8?Q?Christoph_H=c3=b6ger?= Organization: =?UTF-8?Q?Technische_Universit=c3=a4t_Berlin?= Message-ID: Date: Mon, 14 Nov 2016 13:23:32 +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="kJTpn5nw0Un7nXJWwgp7wgrOtoe7VRg6V" X-PMX-Version: 6.0.0.2142326, Antispam-Engine: 2.7.2.2107409, Antispam-Data: 2016.11.14.121516 X-PMX-Spam: Gauge=IIIIIII, Probability=0%, Report='' Subject: [Caml-list] Merlin issue with sedlex This is an OpenPGP/MIME signed message (RFC 4880 and 3156) --kJTpn5nw0Un7nXJWwgp7wgrOtoe7VRg6V Content-Type: multipart/mixed; boundary="MsHvT4sngTsf0bx29558e1tQBo0FUQvbC"; protected-headers="v1" From: =?UTF-8?Q?Christoph_H=c3=b6ger?= To: caml users Message-ID: Subject: Merlin issue with sedlex --MsHvT4sngTsf0bx29558e1tQBo0FUQvbC Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Dear all, I am running Merlin in order to code OCaml in emacs: > The Merlin toolkit version 2.5.1, for Ocaml 4.04.0 (from shell) Since today, I get a ton of error messages (that make coding nearly impossible): > Merlin failed with error: "Error: Error while running external preprocessor Command line: /home/choeger/.opam/4.04.0/lib/sedlex /./ppx_sedlex '/tmp/camlppxf365bd' '/tmp/camlppxc0ab4a' 1>/dev/null 2>/dev/null" This file then seems to have the wrong version. I also find a file /tmp/camlppx.lastfail: > /tmp/camlppx.lastfail: OCaml abstract syntax tree implementation file (Version 019) Is this a known bug or do I have some problem with my setup? Both sedlex and merlin seem up-to-date. thanks in advance, 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 --MsHvT4sngTsf0bx29558e1tQBo0FUQvbC-- --kJTpn5nw0Un7nXJWwgp7wgrOtoe7VRg6V 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 iEYEARECAAYFAlgprMQACgkQhMBO4cVSGS+W0ACdHOazodiKU3Weon/exo/floaQ Nn0AoKMVaYF5I2dLX4Mtv4/uFIGt119G =Mu1T -----END PGP SIGNATURE----- --kJTpn5nw0Un7nXJWwgp7wgrOtoe7VRg6V--