From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 BDC7A7EF29 for ; Thu, 17 Dec 2015 15:11:27 +0100 (CET) IronPort-PHdr: 9a23:16DlNRyJ365MG+DXCy+O+j09IxM/srCxBDY+r6Qd0e4SIJqq85mqBkHD//Il1AaPBtWFrakdwLeJ+4nbGkU+or+5+EgYd5JNUxJXwe43pCcHRPC/NEvgMfTxZDY7FskRHHVs/nW8LFQHUJ2mPw6anHS+4HYoFwnlMkItf6KuStCU1J38ir/60qaQSjsLrQL1Wal1IhSyoFeZnegtqqwmFJwMzADUqGBDYeVcyDAgD1uSmxHh+pX4p8Y7oGwD884mosVJVKG/e6UjUZRJFSkrNiY04tfqvF/NV1ih/HwZB0gMkRlJSzPI9AnzWp655iX+q/o40yCfOeX3S6s1VTnk6L1kHky7wBwbPiI0pTmEwvd7i7hW9Uqs Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=flux-caml@inside.org; spf=None smtp.mailfrom=flux@modeemi.fi; spf=None smtp.helo=postmaster@mail.cs.tut.fi Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of flux-caml@inside.org) identity=pra; client-ip=130.230.4.42; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="flux@modeemi.fi"; x-sender="flux-caml@inside.org"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of flux@modeemi.fi) identity=mailfrom; client-ip=130.230.4.42; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="flux@modeemi.fi"; x-sender="flux@modeemi.fi"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail.cs.tut.fi) identity=helo; client-ip=130.230.4.42; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="flux@modeemi.fi"; x-sender="postmaster@mail.cs.tut.fi"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0DrAABQwXJWnCoE5oJeFoN2RyaqOQsGkzSBf4dhEgEBAQEBAQEBEAEBAQEBCBQJT4ItgggBBAEjWwsJAhoCBSECAg8BBA0LRIgaAwoIBY1+nTaNRw2EVoEBhQ2FRoJJCoJUglCBSQEEln2FOYYXgXiCJZMdh1spB4F+DDsdgVhwhHwBAQE X-IPAS-Result: A0DrAABQwXJWnCoE5oJeFoN2RyaqOQsGkzSBf4dhEgEBAQEBAQEBEAEBAQEBCBQJT4ItgggBBAEjWwsJAhoCBSECAg8BBA0LRIgaAwoIBY1+nTaNRw2EVoEBhQ2FRoJJCoJUglCBSQEEln2FOYYXgXiCJZMdh1spB4F+DDsdgVhwhHwBAQE X-IronPort-AV: E=Sophos;i="5.20,441,1444687200"; d="scan'208";a="157432614" Received: from mail.cs.tut.fi ([130.230.4.42]) by mail3-smtp-sop.national.inria.fr with SMTP; 17 Dec 2015 15:11:26 +0100 Received: from amavis2.cs.tut.fi (amavis2.cs.tut.fi [130.230.4.70]) by mail.cs.tut.fi (Postfix) with ESMTP id 58F1BDAE for ; Thu, 17 Dec 2015 16:11:25 +0200 (EET) Received: from mail.cs.tut.fi ([130.230.4.42]) by amavis2.cs.tut.fi (amavis2.cs.tut.fi [130.230.4.70]) (amavisd-maia, port 10024) with ESMTP id 18040-47 for ; Thu, 17 Dec 2015 16:11:24 +0200 (EET) Received: from modeemi.modeemi.fi (modeemi.modeemi.fi [130.230.72.134]) by mail.cs.tut.fi (Postfix) with SMTP id 9FC18DAD for ; Thu, 17 Dec 2015 16:11:24 +0200 (EET) Received: from coffee.modeemi.fi (coffee.modeemi.fi [130.230.72.140]) by modeemi.modeemi.fi (Postfix) with ESMTP id 827243A8F2 for ; Thu, 17 Dec 2015 16:11:24 +0200 (EET) Received: by coffee.modeemi.fi (Postfix, from userid 17990) id 6FBA32D6127; Thu, 17 Dec 2015 16:11:24 +0200 (EET) From: Erkki Seppala To: caml-list@yquem.inria.fr References: <5672A07A.7080509@gmail.com> Date: Thu, 17 Dec 2015 16:11:24 +0200 In-Reply-To: <5672A07A.7080509@gmail.com> ("Matej \=\?utf-8\?B\?S2\/FocOtayIn\?\= \=\?utf-8\?B\?cw\=\=\?\= message of "Thu, 17 Dec 2015 12:46:02 +0100") Message-ID: User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.3 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-Virus-Scanned: Maia Mailguard 1.0.2 Subject: Re: [Caml-list] a question about Merlin Hello, Matej Ko=C5=A1=C3=ADk <5764c029b688c1c0d24a2e97cd764f@gmail.com> writes: > 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" Yes, this is something to expect. The option type (among with int, char, etc) is built into the compiler and is created programmatically during compile time. You can find the predefined types from typing/predef.ml, but they are not defined in a form that's suitable for Merlin to find. Though it would be totally awesome if it did, along with jumping to C code. Maybe with some annotations.. :-) --=20 _____________________________________________________________________ / __// /__ ____ __ http://www.modeemi.fi/~flux/\ \ / /_ / // // /\ \/ / \ / /_/ /_/ \___/ /_/\_\@modeemi.fi \/