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 mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 41F187EEFC for ; Thu, 19 Nov 2015 11:48:25 +0100 (CET) IronPort-PHdr: 9a23:OHZWuxQNtHPZLnLTJOIinwPx7dpsv+yvbD5Q0YIujvd0So/mwa64YxeN2/xhgRfzUJnB7Loc0qyN4/2mBzdLuMjJmUtBWaIPfidNsd8RkQ0kDZzNImzAB9muURYHGt9fXkRu5XCxPBsdMs//Y1rPvi/6tmZKSV3BPAZ4bt74BpTVx5zukbviptuNOE4R2nKUWvBbElaflU3prM4YgI9veO4a6yDihT92QdlQ3n5iPlmJnhzxtY+a9Z9n9DlM6bp6r5YTGfayQ6NtB7dRCTBjN2Eu+OXqswPCRE2B/DFUBm4flx4NBwne8Dn7WI3wu230rLwu9jOdOJi8drc5Vii46L8vADrpgycOOjpzuDXSi8dwha9f5gmmqhNj2YnMSICTKPd6OKjaeIVJFiJ6Qs9NWnkZUcuHZIwVAr9ZMA== Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=michael.soegtrop@intel.com; spf=Pass smtp.mailfrom=michael.soegtrop@intel.com; spf=None smtp.helo=postmaster@mga02.intel.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of michael.soegtrop@intel.com) identity=pra; client-ip=134.134.136.20; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="michael.soegtrop@intel.com"; x-sender="michael.soegtrop@intel.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of michael.soegtrop@intel.com designates 134.134.136.20 as permitted sender) identity=mailfrom; client-ip=134.134.136.20; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="michael.soegtrop@intel.com"; x-sender="michael.soegtrop@intel.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@mga02.intel.com) identity=helo; client-ip=134.134.136.20; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="michael.soegtrop@intel.com"; x-sender="postmaster@mga02.intel.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0AoAADGp01WnBSIhoZehA5vBr5pAQ2BZRmFdgIcgSc4FAEBAQEBAQEBEAEBAQEBBg0JCSEjC4ItggcBAQEDASMRFTULAgEIGgIGIAICAjAVEAEBBBuIHgcBrwWQMgEBAQEGAQEBAQEBARyBAYVVhHyEWxaDBC+BFQWWSgGpbx8BAYJpgV1yhBkBgQYBAQE X-IPAS-Result: A0AoAADGp01WnBSIhoZehA5vBr5pAQ2BZRmFdgIcgSc4FAEBAQEBAQEBEAEBAQEBBg0JCSEjC4ItggcBAQEDASMRFTULAgEIGgIGIAICAjAVEAEBBBuIHgcBrwWQMgEBAQEGAQEBAQEBARyBAYVVhHyEWxaDBC+BFQWWSgGpbx8BAYJpgV1yhBkBgQYBAQE X-IronPort-AV: E=Sophos;i="5.20,317,1444687200"; d="scan'208";a="188207641" Received: from mga02.intel.com ([134.134.136.20]) by mail2-smtp-roc.national.inria.fr with ESMTP; 19 Nov 2015 11:48:24 +0100 Received: from orsmga001.jf.intel.com ([10.7.209.18]) by orsmga101.jf.intel.com with ESMTP; 19 Nov 2015 02:48:23 -0800 X-ExtLoop1: 1 X-IronPort-AV: E=Sophos;i="5.20,317,1444719600"; d="scan'208";a="823939127" Received: from irsmsx101.ger.corp.intel.com ([163.33.3.153]) by orsmga001.jf.intel.com with ESMTP; 19 Nov 2015 02:48:24 -0800 Received: from irsmsx102.ger.corp.intel.com ([169.254.2.251]) by IRSMSX101.ger.corp.intel.com ([169.254.1.236]) with mapi id 14.03.0248.002; Thu, 19 Nov 2015 10:48:22 +0000 From: "Soegtrop, Michael" To: "caml-list@inria.fr" Thread-Topic: [Caml-list] Abbreviating module paths - something like "open X as Y" Thread-Index: AdEitd4ow7u0CUuTQYe2LTaEKvGKswAAGI6AAAA05WA= Date: Thu, 19 Nov 2015 10:48:21 +0000 Message-ID: <0F7D3B1B3C4B894D824F5B822E3E5A172CE42172@IRSMSX102.ger.corp.intel.com> References: <0F7D3B1B3C4B894D824F5B822E3E5A172CE42130@IRSMSX102.ger.corp.intel.com> <564DA659.1020704@inria.fr> In-Reply-To: <564DA659.1020704@inria.fr> Accept-Language: de-DE, en-US Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: x-originating-ip: [163.33.239.180] Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: base64 Subject: RE: [Caml-list] Abbreviating module paths - something like "open X as Y" RGVhciBEYXZpZCwgR2FicmllbCwgRnJhbmNvaXMsDQoNCnRoYW5rcyBhIGxv dCBmb3IgdGhlIHF1aWNrIGFuc3dlciENCg0KPiBtb2R1bGUgTCA9IExpc3QN Cj4gWy4uLl0NCj4gTC5sZW5ndGggWzE7MjszXQ0KDQpRdWl0ZSBvYnZpb3Vz IGlmIHlvdSBrbm93IGl0IDstKSBNYXliZSBhIGhpbnQgaW4gdGhlIHJlZmVy ZW5jZSBtYW51YWwgc2VjdGlvbiAiT3BlbmluZyBhIG1vZHVsZSBwYXRoIiB3 b3VsZCBoZWxwIG90aGVycy4NCg0KQmVzdCByZWdhcmRzLA0KDQpNaWNoYWVs DQoNCkludGVsIERldXRzY2hsYW5kIEdtYkgKUmVnaXN0ZXJlZCBBZGRyZXNz OiBBbSBDYW1wZW9uIDEwLTEyLCA4NTU3OSBOZXViaWJlcmcsIEdlcm1hbnkK VGVsOiArNDkgODkgOTkgODg1My0wLCB3d3cuaW50ZWwuZGUKTWFuYWdpbmcg RGlyZWN0b3JzOiBDaHJpc3RpbiBFaXNlbnNjaG1pZCwgQ2hyaXN0aWFuIExh bXByZWNodGVyCkNoYWlycGVyc29uIG9mIHRoZSBTdXBlcnZpc29yeSBCb2Fy ZDogTmljb2xlIExhdQpSZWdpc3RlcmVkIE9mZmljZTogTXVuaWNoCkNvbW1l cmNpYWwgUmVnaXN0ZXI6IEFtdHNnZXJpY2h0IE11ZW5jaGVuIEhSQiAxODY5 MjgK