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 C1D417F106 for ; Fri, 15 Jul 2016 19:04:32 +0200 (CEST) IronPort-PHdr: 9a23:iJsSQRVJADwz4TeDuQdKvtVt40PV8LGtZVwlr6E/grcLSJyIuqrYZhOPt8tkgFKBZ4jH8fUM07OQ6PG4HzBcqs/Z6TgrS99lb1c9k8IYnggtUoauKHbQC7rUVRE8B9lIT1R//nu2YgB/Ecf6YEDO8DXptWZBUiv2OQc9HOnpAIma153xjLHqvcGPKFwQ3XKUWvBbFF2OtwLft80b08NJC50a7V/3mEZOYPlc3mhyJFiezF7W78a0+4N/oWwL46pyv+YJa6jxfrw5QLpEF3xmdjltvIy4/SXEGCuC4HcGU2ZeuB1PBkCR7Bz8Uo3wsQPmsfJ62W+COsrvC7szXGLxwb1sTUrHhT0LfwUl92XPj8V2iuoPoRSvoDRwzpTYJZqJM/5me6rbe5UWSDwSDY5qSyVdD9bkPMM0BO0bMLMd9tGlqg== Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=info@gerd-stolpmann.de; spf=None smtp.mailfrom=info@gerd-stolpmann.de; spf=None smtp.helo=postmaster@mout.kundenserver.de Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of info@gerd-stolpmann.de) identity=pra; client-ip=212.227.17.10; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="info@gerd-stolpmann.de"; x-sender="info@gerd-stolpmann.de"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of info@gerd-stolpmann.de) identity=mailfrom; client-ip=212.227.17.10; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="info@gerd-stolpmann.de"; x-sender="info@gerd-stolpmann.de"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mout.kundenserver.de) identity=helo; client-ip=212.227.17.10; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="info@gerd-stolpmann.de"; x-sender="postmaster@mout.kundenserver.de"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0CoAABgF4lXhwoR49RchBR8uHSBex6FfAKBLzkTAQEBAQEBAQERAQEBCA0JCSEvgjIEARIBghMBBVUkEAtGVwYTCYgrAQmxZm+NAgEBAQEBAQQBAQEBFQ6FMoVFhEyFTwWIHZEEgTsCjR6JTASFZZAbIAOCTYFZbAGGUgEBAQ X-IPAS-Result: A0CoAABgF4lXhwoR49RchBR8uHSBex6FfAKBLzkTAQEBAQEBAQERAQEBCA0JCSEvgjIEARIBghMBBVUkEAtGVwYTCYgrAQmxZm+NAgEBAQEBAQQBAQEBFQ6FMoVFhEyFTwWIHZEEgTsCjR6JTASFZZAbIAOCTYFZbAGGUgEBAQ X-IronPort-AV: E=Sophos;i="5.28,368,1464645600"; d="asc'?scan'208";a="184933430" Received: from mout.kundenserver.de ([212.227.17.10]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 15 Jul 2016 19:04:15 +0200 Received: from office1.lan.sumadev.de ([178.4.65.50]) by mrelayeu.kundenserver.de (mreue101) with ESMTPSA (Nemesis) id 0MhlY3-1bkQVl0Dbf-00Mvfw; Fri, 15 Jul 2016 19:04:10 +0200 Received: from [192.168.65.10] (unknown [192.168.65.10]) by office1.lan.sumadev.de (Postfix) with ESMTPSA id 7A6D9DC05D; Fri, 15 Jul 2016 19:04:07 +0200 (CEST) Message-ID: <1468602243.25014.134.camel@e130.lan.sumadev.de> From: Gerd Stolpmann To: Hendrik Boom Cc: caml-list@inria.fr Date: Fri, 15 Jul 2016 19:04:03 +0200 In-Reply-To: <20160715161308.GB30333@topoi.pooq.com> References: <001701d1daa2$30f7ac30$92e70490$@metastack.com> <1468179914.25014.89.camel@e130.lan.sumadev.de> <20160714090300.GB21053@frosties> <002601d1de7e$9f5776d0$de066470$@metastack.com> <20160715161308.GB30333@topoi.pooq.com> Content-Type: multipart/signed; micalg="pgp-sha1"; protocol="application/pgp-signature"; boundary="=-Reykk2CpIIqF2QbJUwJb" X-Mailer: Evolution 3.10.4-0ubuntu2 Mime-Version: 1.0 X-Provags-ID: V03:K0:gMDKcpVPxDgCMlJDvv8frxN0767r5RlfGTv5ZIVVjmyR1I8ih6c PunsH+rIverQeDTcSrOT0iz0V0/5atRPbYkznj/clRRLCdroy7IJWIy5C8oG2ZSv2ylsmFo wsjV7VrkVNIwczXhQi097VNNuES52qsPVoAbooe+8iC2RsDS+oPgLXCwk0ZdwPqW25v3aoo BKo70Eoenn5e1QFTcsXxQ== X-UI-Out-Filterresults: notjunk:1;V01:K0:WSHIAnU3y+o=:4seH1OgQG864T3myzzuJbg +Oh8M5mjRI8gcfnHhAJlCEIsDmBeHe6mv7M/SMRi5MmLgXlx467r8ZilisjPz64bz2z40UQLx D6Jl8i83Y5X82RkVzt6bf5xhUVzGd5nbE6Wusg/IU0Km4VHBHWLoBPMLNMbNs3FJ28/iyZUFS VziQ9n4B2Gf5xKeuUWgpn7Vh+HnYYpqDBbtUbREuUvch2PF/ztZgnJ5gMd13sVbxBQyNMNajw QPzntSpw5WFyIiS3tpAm4DUk9jtS/W7MfpJZq7kPCsvzLUcwPxcdCaywjL5gepoRROCFUvdCP nrEEmpP8FLtR4pfKC2JfPmAYWuDKoA8nMp4jDhBEpyW0/Q4liYFItEKSFDvCU7eA83G5jCbwx vZKHIm+RfF7TLHHTibjFEWoml+s0U9e67cuc0vR/23j1nO/cT6uCVX2TbQOnOd+N/ttCKiuhz vffVVHgWa+2FknKsFe0Gu6S38c7CpaLicbIBfJHxD2us1PB4RuWTkZe73bwAG8jHXCyLEYqkS 1fEGHnlvo6anzjERqM1x62jjJ9KRq/f65oH9zNoBBhyeMQ6Z0+XM7ouKuohkWiMIlwbrpoLeF yw2kUDraz7dAoc4jzOlUolcN9bFO1lm0cdP9s88noYcGuRER8dCtC8x2Yh0auNraOmA6UxOKC bj0CeGR5P2QanYUtK/Btb9TRcRU6ZcUumalHjEiWDLNY3MZ6SC3xDePeD+UDPimWaZZY= Subject: Re: [Caml-list] Warnings opening modules (was: why is building ocaml hard?) --=-Reykk2CpIIqF2QbJUwJb Content-Type: text/plain; charset="ISO-8859-15" Content-Transfer-Encoding: quoted-printable Am Freitag, den 15.07.2016, 12:13 -0400 schrieb Hendrik Boom: > Or is there some kind of code browsing tool that explicates all this? I don't know any tool that just shows the full path of identifiers. Merlin could do it (has all infos) but it doesn't so far. It "only" shows the type (also useful, but in a different way). Gerd --=20 ------------------------------------------------------------ Gerd Stolpmann, Darmstadt, Germany gerd@gerd-stolpmann.de My OCaml site: http://www.camlcity.org Contact details: http://www.camlcity.org/contact.html Company homepage: http://www.gerd-stolpmann.de ------------------------------------------------------------ --=-Reykk2CpIIqF2QbJUwJb Content-Type: application/pgp-signature; name="signature.asc" Content-Description: This is a digitally signed message part Content-Transfer-Encoding: 7bit -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iQEcBAABAgAGBQJXiReDAAoJEAaM4b9ZLB5TwsEH/i+H26UEWdjaLCvHV5E0HC3K UD2tK7EgV85vwfNl9kLgOH0NWBktpG8V2BsYY9zW41OiOhcKqRbl0PeG6+uOw30i kkETkpb/gItEdujUCGEm7VD4Gbnra+u4rYpbUPm8lQLjUTybg80xhxvxzyX97c05 +EGh3ylOMNqX0splf6+cKevzJDMXKu0EDtn7Bpgnr01dIExf3pOxxNFrxRFqi22s IUGQ8pz03urTVYti7GZPyaTbpfjjz0OwSkm5bDAmzn3bWralhYE29/W+pgtmuiu5 xPzGDSRUt2L8w3hgJLe26heSY6xv2ZlY4wvtCZusXCEb4Sui+NQnEJie1gfMydA= =Dbn0 -----END PGP SIGNATURE----- --=-Reykk2CpIIqF2QbJUwJb--