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 ESMTPS id F3D211E6 for ; Thu, 28 Jun 2018 20:16:25 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.51,284,1526335200"; d="scan'208";a="333813037" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 28 Jun 2018 22:16:24 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 23706824AA; Thu, 28 Jun 2018 22:16:24 +0200 (CEST) Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 7636682416 for ; Thu, 28 Jun 2018 22:16:20 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=stecksoft@gmail.com; spf=Pass smtp.mailfrom=stecksoft@gmail.com; spf=None smtp.helo=postmaster@mail-lj1-f175.google.com IronPort-PHdr: =?us-ascii?q?9a23=3AqxWZXBfCgIf+LAldzfcZtT59lGMj4u6mDksu8pMi?= =?us-ascii?q?zoh2WeGdxcS8bB7h7PlgxGXEQZ/co6odzbaO7ea4ASQp2tWoiDg6aptCVhsI24?= =?us-ascii?q?09vjcLJ4q7M3D9N+PgdCcgHc5PBxdP9nC/NlVJSo6lPwWB6nK94iQPFRrhKAF7?= =?us-ascii?q?Ovr6GpLIj8Swyuu+54Dfbx9HiTahYL5+Ngm6oRnMvcQKnIVuLbo8xAHUqXVSYe?= =?us-ascii?q?RWwm1oJVOXnxni48q74YBu/SdNtf8/7sBMSar1cbg2QrxeFzQmLns65Nb3uhnZ?= =?us-ascii?q?TAuA/WUTX2MLmRdVGQfF7RX6XpDssivms+d2xSeXMdHqQb0yRD+v9LlgRgP2hy?= =?us-ascii?q?gbNj456GDXhdJ2jKJHuxKquhhzz5fJbI2JKPZye6XQctQHS2pcRcZRTzJODZ+g?= =?us-ascii?q?b4UBCOoBOPxXr4j7p1ATqRezCg2hCObpxzRVhHH5wLc63vwjHgHI3AIuEdEAvm?= =?us-ascii?q?nKotrpL6oSTfy5wbPUwTnfc/9b2zHw45XIfBA7pvGMWKp9fcTLx0Y1CgPFikib?= =?us-ascii?q?pJD/MziIy+oNr3aU4PZjVeKrlWEnsQ99qSWoy8c3lonGmJ4aylPf+CVi3IY6O8?= =?us-ascii?q?G3SE1gYd6jHptQqzuWOJdxQsMnWmxlvjsxxLMBuZ6+ZicKyZInygbea/yBaYiI?= =?us-ascii?q?4wjsWPyfITdinH5keKiwhxa18Uin0OHzSs600FNMoyFYkdfMrmgA2wLP5sWDUP?= =?us-ascii?q?dw/Ues1SyR2wzP6exIO104mKjbJpMn37U+jIAcsV7ZES/zgEj2jLGZdkEj+uWw?= =?us-ascii?q?7uToeLTmppuFO49wiAHyL70imsKiDek6MgUCRWeb+eO71L3s+U32Xq9GgeExkq?= =?us-ascii?q?ncqJzaJMIbqbClAwJNzIov9xKyAy2l3dkYh3ULMk5JdRGdg4T0OVzDIOj0DfKl?= =?us-ascii?q?jFStlDdryerGPrrkApjVNXjDjKnucqp+605Hzwozw8xf6olbCrEEOv3zW0vxuM?= =?us-ascii?q?bEAR8+Ngy42/znB8ll1oMCRWKPBbeUP7/Ivl+N4uIjOu2MZI4OuDbhMPUl/P7v?= =?us-ascii?q?jXohmVAHZ6Wp3J0XaGq5Hvt8OUmZb2Ds0Z89FjIltxAvBNDwgV6CVDdVLyK9Vr?= =?us-ascii?q?gtoC0hAYGmCI7Fbo+oib2Fmiy8G8sFSHpBDwXGKX71c82tHb83dC+ZIctsiHZM?= =?us-ascii?q?AaO9RoQi/QqyuQT50L1pMqzf/ShO5sGr78R8++CGzUJ6zjdzFcnIljzUFjAmri?= =?us-ascii?q?YzXzYzmZtHjwl4w1aH37J/hqUBR9NW7vJNFAw9MMyFlrAoO5XJQgvEO+yxZhO+?= =?us-ascii?q?WNz/WGM+S9swx5kFZEMvQ4z/3CCG5DKjBvour5LOBJEw9fiCjX34JsI4z3Sfka?= =?us-ascii?q?d40ARgTcxIOmmrwKV48lqLCg=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CYAgBFQTVbh6/QVdFdHAEBAQQBAQoBA?= =?us-ascii?q?YQgC38og3mUQk0BAQaBMoJUhVqOFANeI4dlGQcBBDQUAQIBAQIBAQEBARMBAQE?= =?us-ascii?q?IDQkIKSMMgjUkgl4BBSMdAS0LAQMMAQUFCw0CAgkdAgIhARIBBQEKEgYTEoMOA?= =?us-ascii?q?YFnAwgND6MFPIsIghyCcgWDfCYDCoEugRwCBhJ5h2IRfYEHgQ+DD4FLgQs3hG6?= =?us-ascii?q?CVQKGLwiSXCsHAgKGAIYLgwmCAotLiitOhnEPIYE3gXNwFTsxBoIyCWqBJINog?= =?us-ascii?q?T6JMCMwAZBtAQE?= X-IPAS-Result: =?us-ascii?q?A0CYAgBFQTVbh6/QVdFdHAEBAQQBAQoBAYQgC38og3mUQk0?= =?us-ascii?q?BAQaBMoJUhVqOFANeI4dlGQcBBDQUAQIBAQIBAQEBARMBAQEIDQkIKSMMgjUkg?= =?us-ascii?q?l4BBSMdAS0LAQMMAQUFCw0CAgkdAgIhARIBBQEKEgYTEoMOAYFnAwgND6MFPIs?= =?us-ascii?q?IghyCcgWDfCYDCoEugRwCBhJ5h2IRfYEHgQ+DD4FLgQs3hG6CVQKGLwiSXCsHA?= =?us-ascii?q?gKGAIYLgwmCAotLiitOhnEPIYE3gXNwFTsxBoIyCWqBJINogT6JMCMwAZBtAQE?= X-IronPort-AV: E=Sophos;i="5.51,284,1526335200"; d="scan'208";a="333813018" Received: from mail-lj1-f175.google.com ([209.85.208.175]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 28 Jun 2018 22:16:19 +0200 Received: by mail-lj1-f175.google.com with SMTP id l12-v6so5519050lja.1 for ; Thu, 28 Jun 2018 13:16:19 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:sender:in-reply-to:references:from:date:message-id :subject:to:cc; bh=XlI87S3H493h5cjYtqd1nRKoFJ2PysNl/SrB9H2J6js=; b=AmlWPd2vz8ZWbDvFTgkhsJ7hY4j6ngMwwM2ONvkH4eYZLPGn4WQxebfIuh5l3Kd4w+ 0JDs3KNS+PPvwJcE5+NSJU3h7TaYLVdAaaytgD+JpMij1W6YWSacqdq0TkoWr0fvBMGY jSEIo0+fqxHwxxBX9m1pQeIPhpBJvIUUsUQ1TqlOVskWnxGrhg2j8YplMfyzdgmviP91 PtvDoc9+SyIlzAZAU2Su+rIFVPnNixHifjPZBBN1R5pFcoaSC4zvQqjvcB/QoUFmtjVL illFPnbgYczhDk+EvSsvNqJt7E8Re4itglFtu7v0+8LKByhG6qWz4YqxzQQi6JjJvcwq JE+A== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=stecksoft-com.20150623.gappssmtp.com; s=20150623; h=mime-version:sender:in-reply-to:references:from:date:message-id :subject:to:cc; bh=XlI87S3H493h5cjYtqd1nRKoFJ2PysNl/SrB9H2J6js=; b=zyMgCPpq9NN//vptVdJy6LxQ7hWG4yX7cZVR3AL4XzReEnrp4uCfynM+cskr1fdV8N KAHGFiMjrirYLDissD0gWcdQuT3OBN9HBi393Ah9EfEBZoyUh9v3I6xmumNlKWLUuJbM R4XtQha+EgUJUOjbr7imxOpLtAUvii+60kX3QprdGY/WfT0CsO76IlUwqPuDT3KZUEVg aMzsKt7OmK77IjQdck11ximf8YvG37i0P6D/9TPVZN7yWJWNiwAVWNSmflZdt8eNlaD/ 6P0rmS2gNUXMMkZ9RjOpj8eUoLzO56yQfYkkhPezZ/6Uw+L82GXF7jmLjb/8cKGF5M7m kcyQ== 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:in-reply-to:references:from :date:message-id:subject:to:cc; bh=XlI87S3H493h5cjYtqd1nRKoFJ2PysNl/SrB9H2J6js=; b=mvw1pqkv8A8DD4T5hHWDNIPnhhltszA/mz68D7hUWObJk9792qBD+/ZLuqTkkMDAp7 GBrS+gkWqJSCzf3BCG1ftSFZ/WKEDkfeR9Hv0ikJpcHc3BAYjoVKjVHSBrSjfU6dB1WW dfg22SBZFAvicN8K3sF82Ig++iW+5ElksThZtFnp1QieUnAw2y/Gi0dRiThE2XSi9dvP Ziwqzzs24MM+xSjdA22e7+dafbV8ZBsuCbSiwMRVVNePUtykw02awMCZWQF7z8/nZh/P xtml/WZpkBQElKziwc3JaQJNW+ceb5q2arHUsN2wJLJ1zbANJH+G4Wza6AtxHaYpfQJi eSKQ== X-Gm-Message-State: APt69E1nAphNrD3qkAfd5CkByhxQOBHzwOy9CJqCS25dwoj0P6SKhWmS RdE0qFTEoAOD4CZwm5i9eZ9dhVW2cJjGtqK/pPA= X-Google-Smtp-Source: AAOMgpeQdqqxsMRyC/kFfNgMecBo0uS+uf+gPGtHhlq9UGXLASbIE8WJb+mpYmiJftT+ZECZSJylF7lE9sthb34Qg6Y= X-Received: by 2002:a2e:4619:: with SMTP id t25-v6mr2529566lja.68.1530216978963; Thu, 28 Jun 2018 13:16:18 -0700 (PDT) MIME-Version: 1.0 Sender: stecksoft@gmail.com Received: by 2002:a2e:8403:0:0:0:0:0 with HTTP; Thu, 28 Jun 2018 13:15:48 -0700 (PDT) In-Reply-To: References: From: "Paul A. Steckler" Date: Thu, 28 Jun 2018 16:15:48 -0400 X-Google-Sender-Auth: VRuxLcbaATuL7xjiYplqw8dusvA Message-ID: To: Gary Trakhman Cc: Ocaml Mailing List Content-Type: text/plain; charset="UTF-8" Subject: Re: [Caml-list] Merlin complaining about let%test Reply-To: "Paul A. Steckler" X-Loop: caml-list@inria.fr X-Sequence: 16963 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: I'm using the latest Merlin in OPAM for 4.06.1. The code is compiled with jbuilder. Do I have to hand-massage the .merlin file? On Fri, Jun 22, 2018 at 3:58 PM, Gary Trakhman wrote: > I've seen errors like this and here are some things to check: > Are you running a too old version of merlin? > Is your .merlin file calling ppx's correctly? (it's tricky but jbuilder/dune > does a good job with this). > > On Fri, Jun 22, 2018 at 2:19 PM Paul A. Steckler > wrote: >> >> 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 -- 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