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 2F8B780043 for ; Mon, 14 Nov 2016 14:54:28 +0100 (CET) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=frederic.bour@lakaban.net; spf=Pass smtp.mailfrom=frederic.bour@lakaban.net; spf=None smtp.helo=postmaster@mail.lakaban.net Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of frederic.bour@lakaban.net) identity=pra; client-ip=213.251.185.180; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="frederic.bour@lakaban.net"; x-sender="frederic.bour@lakaban.net"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of frederic.bour@lakaban.net designates 213.251.185.180 as permitted sender) identity=mailfrom; client-ip=213.251.185.180; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="frederic.bour@lakaban.net"; x-sender="frederic.bour@lakaban.net"; 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@mail.lakaban.net) identity=helo; client-ip=213.251.185.180; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="frederic.bour@lakaban.net"; x-sender="postmaster@mail.lakaban.net"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3Ao9C9ChSLX8oPYacIWCZpufnrodpsv+yvbD5Q0YIu?= =?us-ascii?q?jvd0So/mwa69bBKN2/xhgRfzUJnB7Loc0qyN4vumADRLvMjJmUtBWaQEbwUCh8?= =?us-ascii?q?QSkl5oK+++Imq/EsTXaTcnFt9JTl5v8iLzG0FUHMHjew+a+SXqvnYdFRrlKAV6?= =?us-ascii?q?OPn+FJLMgMSrzeCy/IDYbxlViDanb75/KBu7oR/MusUKjodvKqc8wQbVr3VVfO?= =?us-ascii?q?hb2XlmLk+JkRbm4cew8p9j8yBOtP8k6sVNT6b0cbkmQLJBFDgpPHw768PttRnY?= =?us-ascii?q?UAuA/WAcXXkMkhpJGAfK8hf3VYrsvyTgt+p93C6aPdDqTb0xRD+v4btnRAPuhS?= =?us-ascii?q?waMTMy7WPZhdFqjK9DvB2uqAFxzY7Wb4+bO/Rwfa3dc80dS2daQsZRTilBDp+8?= =?us-ascii?q?b4cTDecMO/tToYnnp1sJqBuzHQmiBPn1zTBVnHj2x6w63Pg8Ggzb2wwgAsgOu2?= =?us-ascii?q?nTodX7LqcdT/26w7fSzTXCc/xawyzy6I/VchA7uvyMWah/ccnLxkY0DQzFiE+c?= =?us-ascii?q?qYr7MDOJz+kAtXWQ4el4Ve+3lWIrtg98riKxysosl4XFnJ8Zx1PE+Clj3Yo4Js?= =?us-ascii?q?G0RFZ4bNOlCpdcqTyWOo9sTs8/QmxkpDw2x7kAtJWmZiYF0o4nyATaa/Gfc4iH?= =?us-ascii?q?/BbjVOGJLDd9nn1leba/iwy28Ue6ye3zTNK730xMriZflNnDqGwN2wTS6siBVP?= =?us-ascii?q?R94l+s1SiS2w3d8O1IP0A5mbfBJ5I8wbM9loAfvVnAEyPqgEn2ibWZdkQg+uim?= =?us-ascii?q?8eTnZbDmq4eSN49ulA7xL7ohmta+AeskKAQBRG+b+fmm1LD4+U32WrZKgectna?= =?us-ascii?q?bDtpDWP8IbqbClAwNNyIYs9w6/Dyu60NQfhXQIMEhKeBeDj4TwP1HOIev4Deuk?= =?us-ascii?q?jlS3kDZrwujGMaf7DpXMKHjDirbhcqxn505S0gpghexYsrlUELAaPPXrWnjRKt?= =?us-ascii?q?PVFFdtOAyuwv37D819kIMZVG2CGIeFLebYvEWM5+RpL+TaN6EPvzOoBeKk63/0?= =?us-ascii?q?jHRxs1gAZ+H904EaZH2iH/8gKUKEe1Loi9QIG24M+AwzULq52xW5TTdPaiPqDO?= =?us-ascii?q?oH7TYhBdf+AA=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0B3BACuwSlY/7S5+9VeHAEBBAEBCgEBF?= =?us-ascii?q?wEBBAEBCgEBgwYBAQEBAYF3pEeUYIIHhiMCglgSAQEBAQEBAQEBAQFhKIIzGII?= =?us-ascii?q?XAQEDASMdAQE3AQQLCxoCGA4CAj0aBhOIWQyuL2eCKYMKAQEFiDcBAQEBAQEBA?= =?us-ascii?q?wEBAQEBAQEBARYIgQmHMIJdhEiDBC2CMIhOh1iKIIlKhx2QFo0xE4QKJQMtgR+?= =?us-ascii?q?DEoIJcYd8AQEB?= X-IPAS-Result: =?us-ascii?q?A0B3BACuwSlY/7S5+9VeHAEBBAEBCgEBFwEBBAEBCgEBgwY?= =?us-ascii?q?BAQEBAYF3pEeUYIIHhiMCglgSAQEBAQEBAQEBAQFhKIIzGIIXAQEDASMdAQE3A?= =?us-ascii?q?QQLCxoCGA4CAj0aBhOIWQyuL2eCKYMKAQEFiDcBAQEBAQEBAwEBAQEBAQEBARY?= =?us-ascii?q?IgQmHMIJdhEiDBC2CMIhOh1iKIIlKhx2QFo0xE4QKJQMtgR+DEoIJcYd8AQEB?= X-IronPort-AV: E=Sophos;i="5.31,638,1473112800"; d="scan'208";a="200273913" Received: from pepper.lakaban.net (HELO mail.lakaban.net) ([213.251.185.180]) by mail3-smtp-sop.national.inria.fr with ESMTP; 14 Nov 2016 14:54:27 +0100 Received: from natto.home (AMarseille-658-1-25-9.w86-219.abo.wanadoo.fr [86.219.160.9]) (Authenticated sender: defre@ygg-drasil.fr) by mail.lakaban.net (Postfix) with ESMTPSA id DD1218A0019; Mon, 14 Nov 2016 13:48:40 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=simple/simple; d=lakaban.net; s=default; t=1479131321; bh=qBk8g7I/e3CecQW8Nx7hSD6GOYUSoqKuhghjDGE1oNA=; h=Subject:From:In-Reply-To:Date:Cc:References:To:From; b=jTngKU4nfsZiRoJ5socxa4PpPUIO7quRMPDw0dABXv7e9kt/hITimo2TAePRN9JEv r/AB45bqJOb/BUr1/PXQ/jdYt8BR2NLRJmaMdHDhtI/tw0ypLz9x1EIuaXUHwrj1kP 4qle2WXhOMksPhy4pHsTPGWWVYkQ2NZg7KdavOuE= Content-Type: text/plain; charset=utf-8 Mime-Version: 1.0 (Mac OS X Mail 10.1 \(3251\)) From: =?utf-8?B?RnLDqWTDqXJpYyBCb3Vy?= In-Reply-To: Date: Mon, 14 Nov 2016 14:54:22 +0100 Cc: caml users Content-Transfer-Encoding: quoted-printable Message-Id: References: To: =?utf-8?Q?Christoph_H=C3=B6ger?= X-Mailer: Apple Mail (2.3251) Subject: Re: [Caml-list] Merlin issue with sedlex Dear Christoph, The released version of Merlin doesn=E2=80=99t support 4.04.0 yet (but I di= dn=E2=80=99t put the right constraints in opam file). A new release is expected this week, in the meantime you can use the develo= pment version: opam pin add merlin --dev-repo Cheers, Fred > Le 14 nov. 2016 =C3=A0 13:23, Christoph H=C3=B6ger a =C3=A9crit : >=20 > Dear all, >=20 > I am running Merlin in order to code OCaml in emacs: >=20 >> The Merlin toolkit version 2.5.1, for Ocaml 4.04.0 (from shell) >=20 > Since today, I get a ton of error messages (that make coding nearly > impossible): >=20 >> 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" >=20 > This file then seems to have the wrong version. I also find a file > /tmp/camlppx.lastfail: >=20 >> /tmp/camlppx.lastfail: OCaml abstract syntax tree implementation file > (Version 019) >=20 > Is this a known bug or do I have some problem with my setup? >=20 > Both sedlex and merlin seem up-to-date. >=20 > thanks in advance, >=20 > Christoph > --=20 > Christoph H=C3=B6ger >=20 > Technische Universit=C3=A4t Berlin > Fakult=C3=A4t IV - Elektrotechnik und Informatik > =C3=9Cbersetzerbau und Programmiersprachen >=20 > Sekr. TEL12-2, Ernst-Reuter-Platz 7, 10587 Berlin >=20 > Tel.: +49 (30) 314-24890 > E-Mail: christoph.hoeger@tu-berlin.de >=20