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 1B8F67F7AD for ; Wed, 2 Mar 2016 14:37:20 +0100 (CET) IronPort-PHdr: 9a23:d9Yu7BPdpJhKMvMrEeAl6mtUPXoX/o7sNwtQ0KIMzox0KP78rarrMEGX3/hxlliBBdydsKIbzbWM+PyxEUU7or+/81k6OKRWUBEEjchE1ycBO+WiTXPBEfjxciYhF95DXlI2t1uyMExSBdqsLwaK+i760zceF13FOBZvIaytQ8iJ35vxiLr5p8ybSj4LrQT+SIs6FA+xowTVu5teqqpZAYF19CH0pGBVcf9d32JiKAHbtR/94sCt4MwrqHwI6Lpyv/JHBK7zeqB9Sb1DEBwnNXo07Yvlr0rtVwyKs18RVS0pkhtUDkCR6Bz9dpPprXGn8OxwxH/JboXNUbkoVGH6vO9QQxjyhXJfOg== Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=leo@lpw25.net; spf=None smtp.mailfrom=leo@lpw25.net; spf=None smtp.helo=postmaster@out3-smtp.messagingengine.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of leo@lpw25.net) identity=pra; client-ip=66.111.4.27; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="leo@lpw25.net"; x-sender="leo@lpw25.net"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of leo@lpw25.net) identity=mailfrom; client-ip=66.111.4.27; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="leo@lpw25.net"; x-sender="leo@lpw25.net"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@out3-smtp.messagingengine.com) identity=helo; client-ip=66.111.4.27; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="leo@lpw25.net"; x-sender="postmaster@out3-smtp.messagingengine.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0C5AQAa7NZWlhsEb0JehHm8G4YTAoFDPBABAQEBAQEBARABAQEBBw0JCSEvQQEBAwkEgVqCFQEBAwFAOgQLC0YsK4gyCKkYhSyKVAEBCAEBAQEWBogGgkaFAYJfgQ+NMXSIco8ujSuOTDeCP4FuHi6FdlWCFQEBAQ X-IPAS-Result: A0C5AQAa7NZWlhsEb0JehHm8G4YTAoFDPBABAQEBAQEBARABAQEBBw0JCSEvQQEBAwkEgVqCFQEBAwFAOgQLC0YsK4gyCKkYhSyKVAEBCAEBAQEWBogGgkaFAYJfgQ+NMXSIco8ujSuOTDeCP4FuHi6FdlWCFQEBAQ X-IronPort-AV: E=Sophos;i="5.22,528,1449529200"; d="scan'208";a="166646925" Received: from out3-smtp.messagingengine.com ([66.111.4.27]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 02 Mar 2016 14:37:18 +0100 Received: from compute4.internal (compute4.nyi.internal [10.202.2.44]) by mailout.nyi.internal (Postfix) with ESMTP id 44A3E2071E for ; Wed, 2 Mar 2016 08:37:16 -0500 (EST) Received: from web1 ([10.202.2.211]) by compute4.internal (MEProxy); Wed, 02 Mar 2016 08:37:16 -0500 DKIM-Signature: v=1; a=rsa-sha1; c=relaxed/relaxed; d=lpw25.net; h= content-transfer-encoding:content-type:date:from:in-reply-to :message-id:mime-version:references:subject:to:x-sasl-enc :x-sasl-enc; s=mesmtp; bh=uRYqC5XWW4VbbGyKdHKwC01GqjQ=; b=M7nk8R cO5W0i59LuPXqc2dpLHGCja7s+N+X1G3prF07us7/itKDZXzr6afsR7Kdod5Zyh7 3rkHMcu9OX5W2Rsi8ohz+RTRM2JWihGNWjpJ0Rkq1DwoDNJmk5sRl/zgwo85U7A1 l+vDpdOZG6topLP1OKykhsF4iM4kRjOvLduTw= DKIM-Signature: v=1; a=rsa-sha1; c=relaxed/relaxed; d= messagingengine.com; h=content-transfer-encoding:content-type :date:from:in-reply-to:message-id:mime-version:references :subject:to:x-sasl-enc:x-sasl-enc; s=smtpout; bh=uRYqC5XWW4VbbGy KdHKwC01GqjQ=; b=PrpapFLaXjdPMvYW7JuStYaLhJriH7E4wbknofH7VI40naP myr+tEAgtSYlS86RHL6pPrFzPVfNNXurfa7aIuWgGHoaYub2hfXabrR8a2ffKofQ SYlPXy5mOVBc2pACKzYnrg67DJBWxU4DZP9sPmCxhrGnwTW1DyGbA4nfmLSM= Received: by web1.nyi.internal (Postfix, from userid 99) id 10C9BAECE6E; Wed, 2 Mar 2016 08:37:16 -0500 (EST) Message-Id: <1456925836.1464341.537330890.53BDFE3A@webmail.messagingengine.com> X-Sasl-Enc: +mjM2zQMbgfQCXXmc8mfHzPQZsMcFhiEpbjM44E54E27 1456925836 From: Leo White To: caml-list@inria.fr MIME-Version: 1.0 Content-Transfer-Encoding: 7bit Content-Type: text/plain X-Mailer: MessagingEngine.com Webmail Interface - ajax-04035516 Date: Wed, 02 Mar 2016 08:37:16 -0500 In-Reply-To: <867fhlgjmj.fsf@gmail.com> References: <867fhlgjmj.fsf@gmail.com> Subject: Re: [Caml-list] Are implicit modules too implicit? > To me, this means going from a call-site, to the actual > implementation is very difficult especially since I cannot even do some > sort of grep to find all those things that implement an implicit module > type. The best way of finding a variable's definition is to use merlin to jump to definition. The same will be true for implicit call sites. Depending on how libraries are designed I would not expect it to be difficult to locate the instances by hand. They are managed with the same scoping mechanisms as ordinary values, and since they should rarely be used by name they can also be given nice descriptive searchable names. Regards, Leo