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 mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104])
	by sympa.inria.fr (Postfix) with ESMTPS id 5020D7EF29
	for <caml-list@sympa.inria.fr>; Thu, 17 Dec 2015 12:47:34 +0100 (CET)
IronPort-PHdr: 9a23:zPQD+RO68iOT9WzUn/Al6mtUPXoX/o7sNwtQ0KIMzox0KPn9rarrMEGX3/hxlliBBdydsKIazbGP+Pq/EUU7or+/81k6OKRWUBEEjchE1ycBO+WiTXPBEfjxciYhF95DXlI2t1uyMExSBdqsLwaK+i760zceF13FOBZvIaytQ8iJ35rxjLn5ocKbSj4LrQT+SIs6FA+xowTVu5teqqpZAYF19CH0pGBVcf9d32JiKAHbtR/94sCt4MwrqHwI6Lpyv/JHBK7zeqB9Sb1DEBwnNXo07Yvlr0rtVwyKs14VTmgU2jlP8Y3GpEWnAcmtuXOg5+AjiHmRZMauQepoUG6vvvhgREC21CkvODsw8WWRgct12vEI6Cm9rgByltaHKLqeM+BzK/vQ
Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=5764c029b688c1c0d24a2e97cd764f@gmail.com; spf=Pass smtp.mailfrom=5764c029b688c1c0d24a2e97cd764f@gmail.com; spf=None smtp.helo=postmaster@mail-wm0-f53.google.com
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  5764c029b688c1c0d24a2e97cd764f@gmail.com) identity=pra;
  client-ip=74.125.82.53;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="5764c029b688c1c0d24a2e97cd764f@gmail.com";
  x-sender="5764c029b688c1c0d24a2e97cd764f@gmail.com";
  x-conformance=sidf_compatible
Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of
  5764c029b688c1c0d24a2e97cd764f@gmail.com designates
  74.125.82.53 as permitted sender) identity=mailfrom;
  client-ip=74.125.82.53;
  receiver=mail3-smtp-sop.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 (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@mail-wm0-f53.google.com) identity=helo;
  client-ip=74.125.82.53;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="5764c029b688c1c0d24a2e97cd764f@gmail.com";
  x-sender="postmaster@mail-wm0-f53.google.com";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: A0BRAgCAoHJWlDVSfUpegj2CPKwVBAOHC4pGAQEIgWGDLIJhgTc+DgEBAQEBAQEBEAEBAQEHCwsJHzBBEoFagiARFQgBGxwCAxIQDwIFFgsCCwMCAQIBEREBBQEvCAEBHod3AQMSBJs+ggiBMT4xi0iBaoJ5iCAKGScNVoN6AQUOc49FNIJQgUkFlnyNSIkWEJIpNoEXPwEBAQuCGyOBXnGBf4J9AQEB
X-IPAS-Result: A0BRAgCAoHJWlDVSfUpegj2CPKwVBAOHC4pGAQEIgWGDLIJhgTc+DgEBAQEBAQEBEAEBAQEHCwsJHzBBEoFagiARFQgBGxwCAxIQDwIFFgsCCwMCAQIBEREBBQEvCAEBHod3AQMSBJs+ggiBMT4xi0iBaoJ5iCAKGScNVoN6AQUOc49FNIJQgUkFlnyNSIkWEJIpNoEXPwEBAQuCGyOBXnGBf4J9AQEB
X-IronPort-AV: E=Sophos;i="5.20,440,1444687200"; 
   d="scan'208";a="157412664"
Received: from mail-wm0-f53.google.com ([74.125.82.53])
  by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 17 Dec 2015 12:47:27 +0100
Received: by mail-wm0-f53.google.com with SMTP id l126so17740039wml.1
        for <caml-list@inria.fr>; Thu, 17 Dec 2015 03:47:27 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=20120113;
        h=to:from:subject:message-id:date:user-agent:mime-version
         :content-type:content-transfer-encoding;
        bh=FVwEPR5d41YIkygtJmo8/MPmvClh1oQbMdXnFTNkqTs=;
        b=VErhJhnNzc/jg/WPUhdySvnDgoI7yqnqYKvTze8yRXBPiEUpZpnF+rxKkpHdueQ5Ua
         zSOIyQjAOOxklHadJfiTJdFnVk3QLuFSMzmiTVnZfa9cJ3mHd5W7ZDf2EUCD/2oPLuPz
         JkmnnLWFAiyqgsEwFqOySYSoDMo+bmlGHIFc1L4RO7f10ZQCoDe2K040j/MA8st3Jjgo
         G39G2pQeGXdvoCrcu3J9mrtEHbtqN0kEOqNfR00ChulIcGULfIUSq8EBKzwkzq2KEsMo
         A4prvA8Oa1u9bD5QXqt3xaIDb/m40oJW7PsIvJjxFM8h1e85yQSct5hH9ps0CAwXZNpR
         pBiw==
X-Received: by 10.28.72.137 with SMTP id v131mr3705305wma.63.1450352846780;
        Thu, 17 Dec 2015 03:47:26 -0800 (PST)
Received: from [172.23.36.255] (maths.r-prg.net.univ-paris7.fr. [81.194.27.158])
        by smtp.gmail.com with ESMTPSA id w4sm10111131wje.49.2015.12.17.03.47.25
        for <caml-list@inria.fr>
        (version=TLSv1/SSLv3 cipher=OTHER);
        Thu, 17 Dec 2015 03:47:25 -0800 (PST)
To: caml-list@inria.fr
From: =?UTF-8?B?TWF0ZWogS2/FocOtaw==?=
 <5764c029b688c1c0d24a2e97cd764f@gmail.com>
Message-ID: <5672A07A.7080509@gmail.com>
Date: Thu, 17 Dec 2015 12:46:02 +0100
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:38.0) Gecko/20100101
 Thunderbird/38.4.0
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 7bit
Subject: [Caml-list] a question about Merlin

Hi,

I've found a situation, in which Merlin's Locate command fails (?) in Emacs.

When, whithin my program, I position my cursor on "option" type 
identifier and invoke the Locate command, I get the message:

   "didn't manage to find option"

In some cases Merlin is able to "jump into" the standard library
(e.g., in case of functions defined therein)
but not in case of types.

Is this something to be expected?