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 E35587F168
	for <caml-list@sympa.inria.fr>; Thu, 27 Aug 2015 14:45:42 +0200 (CEST)
IronPort-PHdr: 9a23:iN+ubRI7XfdBD7JAedmcpTZWNBhigK39O0sv0rFitYgUL/rxwZ3uMQTl6Ol3ixeRBMOAu6kC1bad7/CocFdDyKjCmUhKSIZLWR4BhJdetC0bK+nBN3fGKuX3ZTcxBsVIWQwt1Xi6NU9IBJS2PAWK8TWM5DIfUi/yKRBybrysXNWC1ILpi6vuq9X6WEZhunmUWftKNhK4rAHc5IE9oLBJDeIP8CbPuWZCYO9MxGlldhq5lhf44dqsrtY4q3wD86Fpy8kVWqz/e+E8TKdEJDUgKWE8osPx5jfZSg7aw3IAX2desR1TAguNuEylAMv66nGrvLQtiCLDNpX6F+w9AznzsKxnF0G0hg8IMjc49Cfcjckm3/ETmw6ouxEqm92cW4qSLvcrJq4=
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-f180.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.180;
  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.180 as permitted sender) identity=mailfrom;
  client-ip=209.85.212.180;
  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-f180.google.com) identity=helo;
  client-ip=209.85.212.180;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="5764c029b688c1c0d24a2e97cd764f@gmail.com";
  x-sender="postmaster@mail-wi0-f180.google.com";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: A0AiAwArBd9VlLTUVdFdgh2CO4MjqD6GRYtbhQ2CXIE/OhIBAQEBAQEBARABAQEBBwsLCR8wQQWBV4IfER0BGx4DEhAPAgUhAhECEhEBBQEvCAIeh3YBAxIEAaMvggWBLz4xi0CBbIJ5iiYKGScNVoRZJgEFDoEUj2iCUoFDBZU9jHOIaA+FeIolNYEXF4QQb4JNAQEB
X-IPAS-Result: A0AiAwArBd9VlLTUVdFdgh2CO4MjqD6GRYtbhQ2CXIE/OhIBAQEBAQEBARABAQEBBwsLCR8wQQWBV4IfER0BGx4DEhAPAgUhAhECEhEBBQEvCAIeh3YBAxIEAaMvggWBLz4xi0CBbIJ5iiYKGScNVoRZJgEFDoEUj2iCUoFDBZU9jHOIaA+FeIolNYEXF4QQb4JNAQEB
X-IronPort-AV: E=Sophos;i="5.17,422,1437429600"; 
   d="scan'208";a="175058348"
Received: from mail-wi0-f180.google.com ([209.85.212.180])
  by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 27 Aug 2015 14:45:42 +0200
Received: by widdq5 with SMTP id dq5so76869345wid.1
        for <caml-list@inria.fr>; Thu, 27 Aug 2015 05:45:42 -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
         :content-type:content-transfer-encoding;
        bh=/p5W6nFPhuSwmUUdcxM9bc/OaaszO2MXLAglBnVq/ww=;
        b=0MuYDWgWmXypFjnQergM3tm0kzsyg5kgtsJEGbUNssmoOkrGIUlkd+q5CybjOF+M6Y
         Lhnj4dQ5mPxoxp40/bI2/OGcnJ2KmIYFE3cTl+O/8VCVCP0wM186dKNJiW/ItcAj1QBu
         p3KAry+xzAqo4hS0AMDRdAdMenCl7mJ++302OFW+P2ESO6ThrsSVWlaK75tp/6Do3aLn
         ka6IqCiJoEZnJRfoU5vyaYf97rluB+gVMwic4nR9OjQpg4FWyw4OPU8DmsMwrGxP0FNc
         9mcTQKfzC3NPpccdL+tNfeEtaEd2p2eJNzQffHW2pJanz92L4aT4pmFFWkA8xUcyMQii
         IvCA==
X-Received: by 10.194.92.109 with SMTP id cl13mr4614988wjb.156.1440679542212;
        Thu, 27 Aug 2015 05:45:42 -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 fn8sm3486273wib.2.2015.08.27.05.45.40
        for <caml-list@inria.fr>
        (version=TLSv1/SSLv3 cipher=OTHER);
        Thu, 27 Aug 2015 05:45:41 -0700 (PDT)
Message-ID: <55DF067E.10500@gmail.com>
Date: Thu, 27 Aug 2015 14:45:50 +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: caml-list@inria.fr
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: 7bit
Subject: [Caml-list] [Q] How to use merlin with mikmatch_str ?

Hi,

I would like to ask if there is any way how to use "merlin" with "mikmatch_str"
(or in general any other syntax extension) ?

Now, when I open my source code in vim while merlin is enabled, for mikmatch_str-related constructions merlin complains, e.g.:

	Error: Unbound constructor RE

Is there a way to use them both (mikmatch_str & merlin) at the same time?

Thanks in advance!!

--

Matej