From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: <5764c029b688c1c0d24a2e97cd764f@gmail.com> X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr 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 093BC7F168 for ; Thu, 27 Aug 2015 15:48:48 +0200 (CEST) IronPort-PHdr: 9a23:MQeIlRJUveFtMzMLR9mcpTZWNBhigK39O0sv0rFitYgUI/rxwZ3uMQTl6Ol3ixeRBMOAu6kC1bad7fyocFdDyKjCmUhKSIZLWR4BhJdetC0bK+nBN3fGKuX3ZTcxBsVIWQwt1Xi6NU9IBJS2PAWK8TWM5DIfUi/yKRBybrysXNWC1ILpi6vsp9X6WEZhunmUWftKNhK4rAHc5IE9oLBJDeIP8CbPuWZCYO9MxGlldhq5lhf44dqsrtY4q3wD86Fpy8kVa7j8f60+QvR8DXxyNmkv58nxtTHMSAKO4j0XVWBA1lJvKAHA6FmuVZ70tm7+t/Fh8CicJ8z/C74uD2eM9aBuHTrhlCoFfx0+62DUwpgt0/wHq0r79hYhk97fOYrNOKAid/nQLIwRSTUfAsh5WClIA4f6ZIwKWblSdd1EppXw8gNd5SC1AhOhUbvi Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=5764c029b688c1c0d24a2e97cd764f@gmail.com; spf=Pass smtp.mailfrom=5764c029b688c1c0d24a2e97cd764f@gmail.com; spf=None smtp.helo=postmaster@mail-wi0-f170.google.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of 5764c029b688c1c0d24a2e97cd764f@gmail.com) identity=pra; client-ip=209.85.212.170; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="5764c029b688c1c0d24a2e97cd764f@gmail.com"; x-sender="5764c029b688c1c0d24a2e97cd764f@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of 5764c029b688c1c0d24a2e97cd764f@gmail.com designates 209.85.212.170 as permitted sender) identity=mailfrom; client-ip=209.85.212.170; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="5764c029b688c1c0d24a2e97cd764f@gmail.com"; x-sender="5764c029b688c1c0d24a2e97cd764f@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-wi0-f170.google.com) identity=helo; client-ip=209.85.212.170; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="5764c029b688c1c0d24a2e97cd764f@gmail.com"; x-sender="postmaster@mail-wi0-f170.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0A+AwCxFN9VlKrUVdFdgh2BUmmDI6g+hkWNVYMTgVaBEAKBLzwQAQEBAQEBAQEQAQEBAQcLCwkfMEEFgVeCBwEBBBIRHQEbHgMMBgULAwoCAgUhAgIPAhIRAQUBHAYBDAgCHod2AQMSBAEIpUWBLz4xi0CBbIJ5iikKGScNVoRZAQEBAQEBBAEBAQEBAQEVAQUOgRSKP4JtgiWCaYFDAQSVPYUGh22BSkaGWA+FeIgGgh81gRcXhBBvgk0BAQE X-IPAS-Result: A0A+AwCxFN9VlKrUVdFdgh2BUmmDI6g+hkWNVYMTgVaBEAKBLzwQAQEBAQEBAQEQAQEBAQcLCwkfMEEFgVeCBwEBBBIRHQEbHgMMBgULAwoCAgUhAgIPAhIRAQUBHAYBDAgCHod2AQMSBAEIpUWBLz4xi0CBbIJ5iikKGScNVoRZAQEBAQEBBAEBAQEBAQEVAQUOgRSKP4JtgiWCaYFDAQSVPYUGh22BSkaGWA+FeIgGgh81gRcXhBBvgk0BAQE X-IronPort-AV: E=Sophos;i="5.17,422,1437429600"; d="scan'208";a="175070274" Received: from mail-wi0-f170.google.com ([209.85.212.170]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 27 Aug 2015 15:48:47 +0200 Received: by wicne3 with SMTP id ne3so75614956wic.0 for ; Thu, 27 Aug 2015 06:48:47 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=message-id:date:from:user-agent:mime-version:to:subject:references :in-reply-to:content-type:content-transfer-encoding; bh=MRuDFNuS6/fcC5vFjwEAwbJfsStV8I3RuiuLinABuqc=; b=gtW/jNWb/gb+hRSVw/dAg4314BglMGf7B/DCb50O33PnobHdX06gXpFsCiRBOHZSeO tjPzr/+92KVdZWko+tvVLopWYZ0UiOoI5J1e/aHmJ9iJJ7/mmHursYruxoZ3vJjHBPWC Z/q4c+t0KkkdESOdLW2wL/nr5w8MB9UXaka9Tj+KRxgICc+Ux/kRYYnCXqFfuMi7Bskg GOU0ffzfj6m6wlucpI2uuCQ2d98k/rhCOLnZuS86MIyR16p3MvqCzGggHKzJ3HGocqQo 2mvfsgLW7wIYcI7+q7gz5iCmO4ZX/iamjlNVgKb6fp1zn17rzThgl7GS9YZgwXdYPsBw 7LBw== X-Received: by 10.180.75.48 with SMTP id z16mr19602262wiv.2.1440683327550; Thu, 27 Aug 2015 06:48:47 -0700 (PDT) Received: from [192.168.0.12] (ivr94-1-81-57-178-197.fbx.proxad.net. [81.57.178.197]) by smtp.googlemail.com with ESMTPSA id eu2sm3739161wic.8.2015.08.27.06.48.46 (version=TLSv1/SSLv3 cipher=OTHER); Thu, 27 Aug 2015 06:48:46 -0700 (PDT) Message-ID: <55DF1548.30901@gmail.com> Date: Thu, 27 Aug 2015 15:48:56 +0200 From: Matej Kosik <5764c029b688c1c0d24a2e97cd764f@gmail.com> User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:31.0) Gecko/20100101 Icedove/31.7.0 MIME-Version: 1.0 To: Runhang Li , OCaml References: <55DF067E.10500@gmail.com> <1440680128794.50230274@Nodemailer> In-Reply-To: <1440680128794.50230274@Nodemailer> Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 7bit Subject: Re: [Caml-list] [Q] How to use merlin with mikmatch_str ? On 08/27/2015 02:55 PM, Runhang Li wrote: > Hi, Matej > > See if this issue answers your question: https://github.com/the-lambda-church/merlin/issues/358 > > You can see all extensions that are being supported at src/kernel/extension.ml [1] . > > [1] : https://github.com/the-lambda-church/merlin/blob/master/src/kernel/extension.ml#L49 Hi, If I understand this correctly, then the support for a particular syntactic extension need to be hardwired into merlin? Isn't that strange? (compared to tools such as: - ocamlc - ocamlopt - ocamldep - ocamldoc which need not to be sperately modified to support any new (valid) syntactic extension. Do they? ) Why is merlin different in this respect?