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 326DD80211 for ; Thu, 5 Oct 2017 15:30:05 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=christoph.hoeger@celeraone.com; spf=Pass smtp.mailfrom=christoph.hoeger@celeraone.com; spf=None smtp.helo=postmaster@mail-ua0-f180.google.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of christoph.hoeger@celeraone.com) identity=pra; client-ip=209.85.217.180; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="christoph.hoeger@celeraone.com"; x-sender="christoph.hoeger@celeraone.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of christoph.hoeger@celeraone.com designates 209.85.217.180 as permitted sender) identity=mailfrom; client-ip=209.85.217.180; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="christoph.hoeger@celeraone.com"; x-sender="christoph.hoeger@celeraone.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@mail-ua0-f180.google.com) identity=helo; client-ip=209.85.217.180; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="christoph.hoeger@celeraone.com"; x-sender="postmaster@mail-ua0-f180.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3A+4wIkRZLiqQLh8TQQ6sulTr/LSx+4OfEezUN459i?= =?us-ascii?q?sYplN5qZpc25bnLW6fgltlLVR4KTs6sC0LWG9f24EUU7or+/81k6OKRWUBEEjc?= =?us-ascii?q?hE1ycBO+WiTXPBEfjxciYhF95DXlI2t1uyMExSBdqsLwaK+i76xXcoFx7+LQt4?= =?us-ascii?q?IPjuUs6X1pzvlrP6x5qGRC5BgT71RLpzKBSwok31t9IKyd9pI6M1jx/IuWdgeu?= =?us-ascii?q?JMxGouK0jFzDjm4cLl15558j9MvOohwO7eXqjgN/AzTaZZFyghK2Bz5MrmuhTZ?= =?us-ascii?q?ZQCC4nYGW2IQn1xDBA2Tv0KyZYv4riav7rk14yKdJ8CjCOlsATk=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BxAgBsMtZZhrTZVdFeHRgHDAEFAQsBh?= =?us-ascii?q?QQnB4NzgTaYTpgzgSUDXAqFV4Q4B0MUAQEBAQEBAQEBAQESAQEBCAsLCCgvgjM?= =?us-ascii?q?FAR4BBYJlHQEBOBgGBzcCBCASAQUBIopDiGiRG0CLIWuCJ4MJAQEFiCcqCBKDG?= =?us-ascii?q?4ICizCDS4JhoTiUZZMKSJR9FAUfgRU2gS94XhoGhQqBdT42AYdqgVQBAQE?= X-IPAS-Result: =?us-ascii?q?A0BxAgBsMtZZhrTZVdFeHRgHDAEFAQsBhQQnB4NzgTaYTpg?= =?us-ascii?q?zgSUDXAqFV4Q4B0MUAQEBAQEBAQEBAQESAQEBCAsLCCgvgjMFAR4BBYJlHQEBO?= =?us-ascii?q?BgGBzcCBCASAQUBIopDiGiRG0CLIWuCJ4MJAQEFiCcqCBKDG4ICizCDS4JhoTi?= =?us-ascii?q?UZZMKSJR9FAUfgRU2gS94XhoGhQqBdT42AYdqgVQBAQE?= X-IronPort-AV: E=Sophos;i="5.42,481,1500933600"; d="scan'208,217";a="239863018" Received: from mail-ua0-f180.google.com ([209.85.217.180]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 05 Oct 2017 15:30:04 +0200 Received: by mail-ua0-f180.google.com with SMTP id n22so7737722uaj.13 for ; Thu, 05 Oct 2017 06:30:04 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=celeraone-com.20150623.gappssmtp.com; s=20150623; h=mime-version:from:date:message-id:subject:to; bh=M2GJvcpwUArk+nE9Jh4XOWucUHruF/y3sLFq96b4kEs=; b=ETINsKXWqsmvOV7HxtR166AC4wOmFAcqEmNMEoN+tIkeR4dOW4jOBEcuN9JXpYCW/P uxWmqLkV3IcxMQoiEadJ6HqY7/et8QEfdRqzEx9hxvMIi6guEj5JqF0VgImBQYDsggFz 3H1nnoGox+KAFl+Dm2++O9hvgpWhrvNBUeCbywMXG0MZZwhFHFr4IHDMMS56Sk+Ep54S BAWDphZAh038qufPfAoHbXxQcRI5y+umBDZA/81Q5hXmz7dLDYSko0Tv758fczEuJBvH 81EQaK5GPAiL+6/idDhl7vSUJ4EwfTFYkKkG3/N7lXW7KO7xCtI4GAk7mmXrjt4IUIf0 3syQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:from:date:message-id:subject:to; bh=M2GJvcpwUArk+nE9Jh4XOWucUHruF/y3sLFq96b4kEs=; b=YwnDY0qYGx6yyet7m3KV12GW0HSxFMpc6B46N2sLk4OVqyjI6DmKNuvCNPEEMcnMag 9F5wpm/we+kDpKojVPzksHivg27WUIiYth7kNTb1s4Rm7WyQ4Fkyvg6p5O30HiwPHfLa P75tpJS1IN+EnqLKkyOUEMmvtYSJpU1d+m0B5t2IX7c3IDIklHnMftFl043u2sVXngNu sFQ//z74XIFZyhE5jommCN/PsFpU2A27JfSyCD0uSd+On8lSf/fafseRPrLcHr3iOfeG dHmNjBAeiHXq73ftcuiBLmPMDlz846G1zQHrqjOmmJCW/deqz0gZbyPC14BHYoE0FpGE WUJw== X-Gm-Message-State: AMCzsaVsbHNE7P2sazZ/l81d2+jv2LY0WiraIhdNxKp4T7KluwtsCQwa kfQE9I5XHcBV5UiqekJnP4Vo+LHoRnFXZhBhLWF2m2yo X-Google-Smtp-Source: AOwi7QAAUvD3W1GKL+AbUjGQerX22p4gw5fjlCkB3d+4DyBC527KD3ci3fQ5GbTxUQLD1JvGbTrDZy+S0PIejWLGTFg= X-Received: by 10.159.56.4 with SMTP id p4mr9817730uad.101.1507210202566; Thu, 05 Oct 2017 06:30:02 -0700 (PDT) MIME-Version: 1.0 Received: by 10.176.24.209 with HTTP; Thu, 5 Oct 2017 06:30:02 -0700 (PDT) From: =?UTF-8?Q?Christoph_H=C3=B6ger?= Date: Thu, 5 Oct 2017 15:30:02 +0200 Message-ID: To: OCaml Mailing List Content-Type: multipart/alternative; boundary="001a1145f666b9ea97055accb84f" Subject: [Caml-list] visitors.ppx and ppx_metaquot --001a1145f666b9ea97055accb84f Content-Type: text/plain; charset="UTF-8" Dear OCaml users, today I tried to recompile a project that uses both some janestreet derivers and visitors.ppx. To my horror, it now fails to compile with an error about the visitors argument: utop # #require "visitors.ppx";; utop # type foo = int list [@@deriving visitors {variety="reduce"}];; Error: Reference to undefined global `VisitorsRuntime' utop # #require "ppx_sexp_conv";; utop # type foo = int list [@@deriving visitors {variety="reduce"}];; Error: non-optional labeled argument expected There is another error that might be related when I try it combination with ppx_metaquot: utop # #require "visitors.ppx";; utop # type foo = int list [@@deriving visitors {variety="reduce"}];; Error: Reference to undefined global `VisitorsRuntime' utop # #require "ppx_metaquot";; utop # type foo = int list [@@deriving visitors {variety="reduce"}];; Error: Attribute `deriving' was not used The first error looks like ppx_type_conv gets confused about what is a janestreet deriver and what is something else. The second error, well I have no idea... Does anyone know a workaround? thanks, Christoph --001a1145f666b9ea97055accb84f Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: base64 PGRpdiBkaXI9Imx0ciI+PGRpdj5EZWFyIE9DYW1sIHVzZXJzLDxicj48YnI+ PC9kaXY+dG9kYXkgSSB0cmllZCB0byByZWNvbXBpbGUgYSBwcm9qZWN0IHRo YXQgdXNlcyBib3RoIHNvbWUgamFuZXN0cmVldCBkZXJpdmVycyBhbmQgdmlz aXRvcnMucHB4LiBUbyBteSBob3Jyb3IsIGl0IG5vdyBmYWlscyB0byBjb21w aWxlIHdpdGggYW4gZXJyb3IgYWJvdXQgdGhlIHZpc2l0b3JzIGFyZ3VtZW50 Ojxicj48YnI+dXRvcCAjICNyZXF1aXJlICZxdW90O3Zpc2l0b3JzLnBweCZx dW90Ozs7PGJyPnV0b3AgIyB0eXBlIGZvbyA9IGludCBsaXN0IFtAQGRlcml2 aW5nIHZpc2l0b3JzIHt2YXJpZXR5PSZxdW90O3JlZHVjZSZxdW90O31dOzs8 YnI+RXJyb3I6IFJlZmVyZW5jZSB0byB1bmRlZmluZWQgZ2xvYmFsIGBWaXNp dG9yc1J1bnRpbWUmIzM5O8KgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDC oMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKg wqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDC oMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKg wqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDC oMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKg wqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDC oMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKg wqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDC oMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKg wqDCoMKgwqDCoMKgwqDCoMKgwqAgdXRvcCAjICNyZXF1aXJlICZxdW90O3Bw eF9zZXhwX2NvbnYmcXVvdDs7Ozxicj51dG9wICMgdHlwZSBmb28gPSBpbnQg bGlzdCBbQEBkZXJpdmluZyB2aXNpdG9ycyB7dmFyaWV0eT0mcXVvdDtyZWR1 Y2UmcXVvdDt9XTs7PGJyPkVycm9yOiBub24tb3B0aW9uYWwgbGFiZWxlZCBh cmd1bWVudCBleHBlY3RlZMKgwqAgPGJyPjxicj48ZGl2PjxkaXY+VGhlcmUg aXMgYW5vdGhlciBlcnJvciB0aGF0IG1pZ2h0IGJlIHJlbGF0ZWQgd2hlbiBJ IHRyeSBpdCBjb21iaW5hdGlvbiB3aXRoIHBweF9tZXRhcXVvdDo8L2Rpdj48 ZGl2PjwvZGl2PjxkaXY+PGJyPnV0b3AgIyAjcmVxdWlyZSAmcXVvdDt2aXNp dG9ycy5wcHgmcXVvdDs7Ozxicj51dG9wICMgdHlwZSBmb28gPSBpbnQgbGlz dCBbQEBkZXJpdmluZyB2aXNpdG9ycyB7dmFyaWV0eT0mcXVvdDtyZWR1Y2Um cXVvdDt9XTs7PGJyPkVycm9yOiBSZWZlcmVuY2UgdG8gdW5kZWZpbmVkIGds b2JhbCBgVmlzaXRvcnNSdW50aW1lJiMzOTvCoMKgwqDCoMKgwqDCoMKgwqDC oMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKg wqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDC oMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKg wqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDC oMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKg wqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDC oMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKg wqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDC oMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKg wqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgIHV0b3AgIyAjcmVxdWly ZSAmcXVvdDtwcHhfbWV0YXF1b3QmcXVvdDs7Ozxicj51dG9wICMgdHlwZSBm b28gPSBpbnQgbGlzdCBbQEBkZXJpdmluZyB2aXNpdG9ycyB7dmFyaWV0eT0m cXVvdDtyZWR1Y2UmcXVvdDt9XTs7PGJyPkVycm9yOiBBdHRyaWJ1dGUgYGRl cml2aW5nJiMzOTsgd2FzIG5vdCB1c2VkwqDCoMKgIDxicj48YnI+PGJyPjwv ZGl2PjxkaXY+VGhlIGZpcnN0IGVycm9yIGxvb2tzIGxpa2UgcHB4X3R5cGVf Y29udiBnZXRzIGNvbmZ1c2VkIGFib3V0IHdoYXQgaXMgYSBqYW5lc3RyZWV0 IGRlcml2ZXIgYW5kIHdoYXQgaXMgc29tZXRoaW5nIGVsc2UuIFRoZSBzZWNv bmQgZXJyb3IsIHdlbGwgSSBoYXZlIG5vIGlkZWEuLi48L2Rpdj48ZGl2Pjxi cj48L2Rpdj48ZGl2PkRvZXMgYW55b25lIGtub3cgYSB3b3JrYXJvdW5kPzwv ZGl2PjxkaXY+PGJyPjwvZGl2PjxkaXY+dGhhbmtzLDwvZGl2PjxkaXY+PGJy PjwvZGl2PjxkaXY+Q2hyaXN0b3BoPGJyPjwvZGl2PjwvZGl2PjwvZGl2Pg0K --001a1145f666b9ea97055accb84f--