From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by c5ff346549e7 (Postfix) with ESMTP id D50A15D4 for ; Fri, 22 Jun 2018 18:18:36 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.51,258,1526335200"; d="scan'208";a="332962245" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 22 Jun 2018 20:18:34 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 4B4F3824A2; Fri, 22 Jun 2018 20:18:34 +0200 (CEST) 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 E197382474 for ; Fri, 22 Jun 2018 20:18:28 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=stecksoft@gmail.com; spf=Pass smtp.mailfrom=stecksoft@gmail.com; spf=None smtp.helo=postmaster@mail-pf0-f172.google.com IronPort-PHdr: =?us-ascii?q?9a23=3A+pRmKxa/6jZQWejReNgijQb/LSx+4OfEezUN459i?= =?us-ascii?q?sYplN5qZoMu7bnLW6fgltlLVR4KTs6sC17KL9fi4EUU7or+5+EgYd5JNUxJXwe?= =?us-ascii?q?43pCcHRPC/NEvgMfTxZDY7FskRHHVs/nW8LFQHUJ2mPw6arXK99yMdFQviPgRp?= =?us-ascii?q?OOv1BpTSj8Oq3Oyu5pHfeQpFiCa9bL9oMBm6sRjau9ULj4dlNqs/0AbCrGFSe+?= =?us-ascii?q?RRy2NoJFaTkAj568yt4pNt8Dletuw4+cJYXqr0Y6o3TbpDDDQ7KG81/9HktQPC?= =?us-ascii?q?TQSU+HQRVHgdnwdSDAjE6BH6WYrxsjf/u+Fg1iSWIdH6QLYpUjm58axlVAHnhz?= =?us-ascii?q?sGNz4h8WHYlMpwjL5AoBm8oxBz2pPYbJ2JOPZ7eK7WYNEUSndbXstJVyJPDICy?= =?us-ascii?q?YZYRAeUdJutYs5XxqkESoReiGQWhBuXiwSJIiH/s2q061vwsHQ/c0gM6AtIOtG?= =?us-ascii?q?nfocnvOKwPTO610LfHwinAb/NSxzj98obEeQ0mrPGXQbJ/b9beyUo0GgPeklWf?= =?us-ascii?q?t5DqPzCO1uQKvWib8/BsWv6oi24isgx8pCWkyMQ0ioTRmI4Z1lTJ+T96zYs1P9?= =?us-ascii?q?G0VUp2bcC+HJdNtSyWKY17Sd44TW5yoiY10LgGtIa7fCcUzJQnwAbSa/mdfIiJ?= =?us-ascii?q?5hLvTf6RITlkiH58drKzmhS//Va6xu3zUcm011lKri5bndXWqn8N0BnT5tCGSv?= =?us-ascii?q?t74EihxS6C2x7P5uxAO0w5lqrWJ4Q8zrM0iJYfq1nPEy3olEnuia+ZbEQk+uym?= =?us-ascii?q?6+T9ZbXmo4eRN5Roig7gLqsumde/AeM2MggSRGWb9uG826fi/U39WrlFkvo2kq?= =?us-ascii?q?zBvJDAOcsbvrK5AxNS0os79xmwFTKm0NABkXkDLVJFYw6HgpPyO1DOJfD4Fe2w?= =?us-ascii?q?j06tkDdt3fDGP6fuDo/DLnjZw//deuNa4EdZzEIWxNFb5pRbQpUAO+67DkT4sd?= =?us-ascii?q?idCh4iLyS1xfzmAZNzzNVNd3iIB/rTCKrPtRehoKoUP+SHZ4sYony1f+M56vXt?= =?us-ascii?q?pWQllFQeZq6nwd0cb3XuTacuGFmQfXe52oRJKmwNpAdrCbWy0ATTAw4WXG67Wu?= =?us-ascii?q?cH3h9+DYunCYnZQYX02e6O2S66GttdYWUUUwnQQ0etTJ2NXrI3UAzXOtVoy2VW?= =?us-ascii?q?Wr2oSotn3har5lejluhXa9HM8yhdjqrNkdh44+qJy0M3/D1wStyTiySDFj4u2G?= =?us-ascii?q?wPQDAy0eZ0pkkvklo=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0D8BQA9PC1bhqzAVdFbHAEBAQQBAQoBA?= =?us-ascii?q?YUqKIN5lENNBpdcA16HcRkHAQQ1EwECAQEBAQEBAQEBEwEBAQgLCwgpIwyCNSQ?= =?us-ascii?q?BgngdATkDDQUQDwImAiQSAQUBIoM4gWgDCA2db4MePIsIghyCcgWDbSYNgSx9A?= =?us-ascii?q?gYSeYddEX2BB4VphjCCVQKZKAcCAoE5jVWBMQGME5FZDyGBOIFycBVsBoIwc4E?= =?us-ascii?q?kg2iKbiMwAY85AQE?= X-IPAS-Result: =?us-ascii?q?A0D8BQA9PC1bhqzAVdFbHAEBAQQBAQoBAYUqKIN5lENNBpd?= =?us-ascii?q?cA16HcRkHAQQ1EwECAQEBAQEBAQEBEwEBAQgLCwgpIwyCNSQBgngdATkDDQUQD?= =?us-ascii?q?wImAiQSAQUBIoM4gWgDCA2db4MePIsIghyCcgWDbSYNgSx9AgYSeYddEX2BB4V?= =?us-ascii?q?phjCCVQKZKAcCAoE5jVWBMQGME5FZDyGBOIFycBVsBoIwc4Ekg2iKbiMwAY85A?= =?us-ascii?q?QE?= X-IronPort-AV: E=Sophos;i="5.51,258,1526335200"; d="scan'208";a="269684891" Received: from mail-pf0-f172.google.com ([209.85.192.172]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 22 Jun 2018 20:18:27 +0200 Received: by mail-pf0-f172.google.com with SMTP id a63-v6so3593006pfl.1 for ; Fri, 22 Jun 2018 11:18:27 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:sender:from:date:message-id:subject:to; bh=W5JZ6Xk9Wh2EZfk7hc4LT9pi2Rs6pe0llBdLaFgAmP8=; b=LFOZY8sAlw8xf7BfbgcpiVMrE9H59HRRRHgCY3QatZay62jJc9rp9xxiTkvW0y9wYO YDOcUI4hLEG1r1e5CAUovXqF23HQzq/nc1Pi1E89bNNTnZElZNbd8Bk5pEaXqArfTECc KoHnmkVVnsmC9c+rMGfrxAMSLPktO29Gjwee+XXQfbDVxTJtF3++Ma233oeoP9eIeuCr A7YqStgw23rEBgjp8DRdeXj1Fp9TqfVfICMmap4WUJZewxxX88TEp1RNs3xgZ+5m1V2J RL6g42BuZu92ABaMEkbxNz/C3sRP5X5esngMJH6UfRp8JdM4EgXDaTP4wRY7gS6/iZa1 yLWw== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=stecksoft-com.20150623.gappssmtp.com; s=20150623; h=mime-version:sender:from:date:message-id:subject:to; bh=W5JZ6Xk9Wh2EZfk7hc4LT9pi2Rs6pe0llBdLaFgAmP8=; b=zwXZ8ZvZFC0Gb8jW7lR7ZQEIjMFRvIhoYiflijVTLIhrGCisXM/NGLRaKwsHkFFFgZ pu1WLDRVKZQ8sZyPg0b0B2VU31QUFO/2Q4iEoV/tH350WCYI6wCow4RlwmPHanj/BiQv 4s8S2p9QoWH+6WOMHPv9K1qhCAkWhbZWXT8fDYfw600jipRAZzYlxvYQ8pkFoNAgXZ31 QBWIEOwK+mqhutOVNtTJoOsvbUg2Ml9hP9Kjvl4uul2HTKIKQ0BUasZTJIUlPIhqPRRU oKGHsvPZzvQ/S/LQ7RFbAwYXHv9p6Wrl8f9QqkCmiDbJ3pXNIUAaMqvZlYmYWM1jWFdP svsQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:sender:from:date:message-id:subject :to; bh=W5JZ6Xk9Wh2EZfk7hc4LT9pi2Rs6pe0llBdLaFgAmP8=; b=Rzb4rocu1DmLQ2OYe7sLDZalBhUYTlBpeT8e65w/SQ6kXv9+QHMUroNk0wwZMGFgo4 eXdbZ72zg3f59YwcjhYsFeODR8lI8MIZ/EyYKdkRMdvXhEdtg4x0W+P21CES5wdqr/mQ Pwh6Oc4QTNowBUBegAtMm7fVsX3WI7Aj+hx2ktlma9LepEUpilHfxqs8FB45XXrjNfN1 vIXLgb+cOw9Nb8M+KBamVcew0NuemSqvkWytLeQTUlaq6MLBqEb0FFWu+TY7aKXncckQ 0bzpPViMQo6OrDh4Hbh/XrG+jqX1+gpJx3xInxUuAOEhkamT9YrPwjiklTEtw9XCwDRu 3bTQ== X-Gm-Message-State: APt69E3l07nnLJp6LRlKbTwWJAi8qsjvRH8XBaR/WPjWqcMxJBdWpDB6 IrYDky8g4QJ/CnKs/evtZYNCCzu0IXjo3owp/bc= X-Google-Smtp-Source: ADUXVKLMC6fUX1+qSX869ZbXUQtIBghO9f1E7l2gz2oncKY0lEt5Lz5telabZCQ5utvHLVCZXUB00V0TQo21/ejFBDc= X-Received: by 2002:a65:5944:: with SMTP id g4-v6mr2371605pgu.317.1529691505562; Fri, 22 Jun 2018 11:18:25 -0700 (PDT) MIME-Version: 1.0 Sender: stecksoft@gmail.com Received: by 2002:a17:90a:248:0:0:0:0 with HTTP; Fri, 22 Jun 2018 11:17:54 -0700 (PDT) From: "Paul A. Steckler" Date: Fri, 22 Jun 2018 14:17:54 -0400 X-Google-Sender-Auth: sU8xY8W64QTRkSLB9t0dWrS_boc Message-ID: To: Ocaml Mailing List Content-Type: text/plain; charset="UTF-8" Subject: [Caml-list] Merlin complaining about let%test Reply-To: "Paul A. Steckler" X-Loop: caml-list@inria.fr X-Sequence: 16959 Errors-to: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Archive: List-Help: List-Owner: List-Post: List-Subscribe: List-Unsubscribe: When using the Jane St inline testing framework, Merlin in Emacs complains about each "let%test" instance, citing "uninterpreted extension 'test'". Is there a way to make that warning disappear? -- Paul -- Caml-list mailing list. Subscription management and archives: https://sympa.inria.fr/sympa/arc/caml-list Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs