From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 3BD0C7F214 for ; Fri, 11 Oct 2019 18:09:39 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=vadim@radovel.ru; spf=Pass smtp.mailfrom=vadim@radovel.ru; spf=None smtp.helo=postmaster@forward102j.mail.yandex.net Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of vadim@radovel.ru) identity=pra; client-ip=5.45.198.243; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="vadim@radovel.ru"; x-sender="vadim@radovel.ru"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of vadim@radovel.ru designates 5.45.198.243 as permitted sender) identity=mailfrom; client-ip=5.45.198.243; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="vadim@radovel.ru"; x-sender="vadim@radovel.ru"; 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@forward102j.mail.yandex.net) identity=helo; client-ip=5.45.198.243; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="vadim@radovel.ru"; x-sender="postmaster@forward102j.mail.yandex.net"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3A5YmCEBCjcTQPlhvSxljHUyQJP3N1i/DPJgcQr6Af?= =?us-ascii?q?oPdwSPX7psbcNUDSrc9gkEXOFd2Cra4d0KyI7uuxCSQp2tWoiDg6aptCVhsI24?= =?us-ascii?q?09vjcLJ4q7M3D9N+PgdCcgHc5PBxdP9nC/NlVJSo6lPwWB6nK94iQPFRrhKAF7?= =?us-ascii?q?Ovr6GpLIj8Swyuu+54Dfbx9HiTagb75+NhS7oAXeusQSgoZpN7o8xAbOrnZUYe?= =?us-ascii?q?pd2HlmJUiUnxby58ew+IBs/iFNsP8/9MBOTLv3cb0gQbNXEDopPWY15Nb2tRbY?= =?us-ascii?q?VguA+mEcUmQNnRVWBQXO8Qz3UY3wsiv+sep9xTWaMMjrRr06RTiu86FmQwLzhS?= =?us-ascii?q?wZKzA27n3Yis1ojKJavh2hoQB/w5XJa42RLfZyY7/Rcc8fSWdHQ81fVTFOApmk?= =?us-ascii?q?YoUPEeQOP+hYoZTyqFUJoxWwBgaiC//0xz9InXD6wbE23v49HQzE2gErAtIAsG?= =?us-ascii?q?7TrNXwLKodXvq6w7TJzTXGcvhb3in955LVfRAgpPGBRqhwftDMxkkoCQPKkFGQ?= =?us-ascii?q?pZb/PzOIz+kAtXWQ4eRnVeKqkWEnqgdxryCuxscqkInJh5gaxkrK9SVj2Io1Kt?= =?us-ascii?q?y4SFJ7Yd65C5RcrT2VN4xzQs4kXmpmuz46x6UGtJKhcyUHyI4rywPbZvGEaYSE?= =?us-ascii?q?/B3uWeiJLTtmnn1pZKyzihOz/Ee7yeDxU9W43VNXoidEj9XBsnUA2hnO5sSaRf?= =?us-ascii?q?Zw+Fqq1yyV2ADJ8O5EJFg5larFJJ4lxb49jpQTsUPZHi74gkr2lrKZelg49uS2?= =?us-ascii?q?6eTreLDmqYWdN49wkA3/Mr4hmsqiDusmPQkCRW6b9vqg1LH7/E35RqtFjuEun6?= =?us-ascii?q?TZqpzXKsQWqrSkDwJR0Ysv8QizAjio3dgAmHkINlNFeBaJj4jzPFHOJej1Deml?= =?us-ascii?q?jFuxkTdrwuvLPqf7DZrQKXjDjqnufbJn505G1Qo/1cpf6I5MCrEdPPLzXVf8u8?= =?us-ascii?q?DCAR88Nwy42uLnCNRm1oMCQm+PGa+YMKbKsVCS/O4vIu+MZJUUuDnnMfQl6eTu?= =?us-ascii?q?h2cjmVABZampwYcXaHegE/R6JkWWe2DsgssAEWcMoAUzV+3riFyHUTFIfXa9Rb?= =?us-ascii?q?gw5jA9CIK8DIfMXJqhgLKb3HTzIpoDWmBHB0qWAD/Nfp+YWvEBemrGPs9gnyYe?= =?us-ascii?q?RP6kQpU91Bejpif7zaBmJ6za4HtLm4jk0Y1L7uHSkFlm6zV4DsG1yWiBSH95mi?= =?us-ascii?q?USWmllj+hEvUVhxwLbguBDiPtCGIkWvqsRC1poBdvn1+V/TuvKdEfBc9OOEgf0?= =?us-ascii?q?TNK8HjgrQotpmd1IZk98H5OzhxbP0jrsBbIJxeTSVc4Et5nE1n20HP5TjnPP1a?= =?us-ascii?q?0vlV4jG5EdL2SqgbBy807JGtyQyhnLp+ORba0ZmRX12iKb12PX5hNCWQJ3T6jB?= =?us-ascii?q?G2oCNBPb?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0A2CADjqKBdh/PGLQVmHAEBAQEBBwEBE?= =?us-ascii?q?QEEBAEBgWoEAQELAYEsHlBxVDEqhCOCAE6LeIJGiBSNDoVoCQEDAQwjCgIBAYI?= =?us-ascii?q?UgiwCCA8HLgEEgg0bBwEEMwYOAgwBAQQBAQECAQIDBAETAQEBCA0JCCmFNAyCK?= =?us-ascii?q?BIpAYJoBiMRDAEBNwEPCQIEARUCJgICAlUGExuDBwGCeAMLljabcoEygn0BAQW?= =?us-ascii?q?BNAETQYNwgT8JgQwoAYUVgh+EMyYYgT9AgVeBKHYuPoJWCwICgV8tgmGCXpZsh?= =?us-ascii?q?X+BaY5zgiyBeIUQjiwegw6BEIllix+UdYFakT2BPymBe00yBjuCbAlHEBSBTxq?= =?us-ascii?q?DWYE+hFmEPz8yAQGBAQgBHROQFQEB?= X-IPAS-Result: =?us-ascii?q?A0A2CADjqKBdh/PGLQVmHAEBAQEBBwEBEQEEBAEBgWoEAQE?= =?us-ascii?q?LAYEsHlBxVDEqhCOCAE6LeIJGiBSNDoVoCQEDAQwjCgIBAYIUgiwCCA8HLgEEg?= =?us-ascii?q?g0bBwEEMwYOAgwBAQQBAQECAQIDBAETAQEBCA0JCCmFNAyCKBIpAYJoBiMRDAE?= =?us-ascii?q?BNwEPCQIEARUCJgICAlUGExuDBwGCeAMLljabcoEygn0BAQWBNAETQYNwgT8Jg?= =?us-ascii?q?QwoAYUVgh+EMyYYgT9AgVeBKHYuPoJWCwICgV8tgmGCXpZshX+BaY5zgiyBeIU?= =?us-ascii?q?Qjiwegw6BEIllix+UdYFakT2BPymBe00yBjuCbAlHEBSBTxqDWYE+hFmEPz8yA?= =?us-ascii?q?QGBAQgBHROQFQEB?= X-IronPort-AV: E=Sophos;i="5.67,284,1566856800"; d="scan'208";a="322440328" X-MGA-submission: =?us-ascii?q?MDGwsqeM45spucdi2WdahahB6pESQsKXg8S4Bk?= =?us-ascii?q?efVx772EgiMG/xUZcBTirmDbEMwI9z4ESgL2pQUhr3AiN8MrUse6/52k?= =?us-ascii?q?xgh46R7BXYIUUKTY6QwMaJ13YiAPOrQh+XdszorUMxbbiVFhBoJBJMOn?= =?us-ascii?q?Gc6zEKo7k/U7tLuIHZY9VrbA=3D=3D?= Received: from forward102j.mail.yandex.net ([5.45.198.243]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 11 Oct 2019 18:09:14 +0200 Received: from mxback20j.mail.yandex.net (mxback20j.mail.yandex.net [IPv6:2a02:6b8:0:1619::114]) by forward102j.mail.yandex.net (Yandex) with ESMTP id D0FA7F20EA6; Fri, 11 Oct 2019 19:09:12 +0300 (MSK) Received: from unknown (unknown [::1]) by mxback20j.mail.yandex.net (nwsmtp/Yandex) with ESMTP id 4XI6pvy4Bh-9CiimGj0; Fri, 11 Oct 2019 19:09:12 +0300 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=radovel.ru; s=mail; t=1570810152; bh=mHcauWVDgsqIQl8Dm3g2xHJQkUwXX1MqaSUv095HKwY=; h=Message-Id:Cc:Subject:In-Reply-To:Date:References:To:From; b=NMhqw8MOOrfE8F2JN4ZFXIIvSaVuyBnhGLBu8K+gWXj4py3udk7g/lEeSeOd7nBwc YqKb6g+yi6H/8w3ltQ2JEfsMS0KdNbZm2H35TepWzMUvEa2j09Ke8Y0sjCy4FuttV1 Q918p0mubRKi9KG0wQVeX2oAzal7M9SjR7OGiGIU= Received: by iva3-67f911cb3a01.qloud-c.yandex.net with HTTP; Fri, 11 Oct 2019 19:09:12 +0300 From: Vadim To: Thierry Martinez Cc: caml-list In-Reply-To: <1296445821.9982847.1570808406866.JavaMail.zimbra@inria.fr> References: <0634cce4-0468-c10e-30c8-8e8e7ec937d7@radovel.ru> <1296445821.9982847.1570808406866.JavaMail.zimbra@inria.fr> MIME-Version: 1.0 X-Mailer: Yamail [ http://yandex.ru ] 5.0 Date: Fri, 11 Oct 2019 19:09:12 +0300 Message-Id: <541351570810152@iva3-67f911cb3a01.qloud-c.yandex.net> Content-Transfer-Encoding: base64 Content-Type: text/html; charset=utf-8 Subject: Re: [Caml-list] How to shadow nested submodules? V293ISBUaGFuayB5b3UgdmVyeSBtdWNoISBJIGRvbid0IGtub3cgd2h5IEkg Y291bGQgbm90IGZpbmQgaXQuPGJyIC8+PGJyIC8+MTg6NDAsIDExINC+0LrR gtGP0LHRgNGPIDIwMTkg0LMuLCBUaGllcnJ5IE1hcnRpbmV6ICZsdDt0aGll cnJ5Lm1hcnRpbmV6QGlucmlhLmZyJmd0Ozo8YnIgLz48YmxvY2txdW90ZSBj bGFzcz0iYjRmZDVjZjJlYzkyYmM2OGNiODk4NzAwYmI4MTM1NWZ3bWktcXVv dGUiPjxwPkhlbGxvLCBWYWRpbSE8YnIgLz48YnIgLz5WYWRpbTo8YnIgLz48 L3A+PGJsb2NrcXVvdGUgY2xhc3M9ImI0ZmQ1Y2YyZWM5MmJjNjhjYjg5ODcw MGJiODEzNTVmd21pLXF1b3RlIj7CoEhlbGxvISBJJ20gdHJ5aW5nIHRvIGZp Z3VyZSBvdXQgaG93IHNoYWRvdy9vdmVycmlkZSBuZXN0ZWQgbW9kdWxlcyBp bjxiciAvPsKgT0NhbWwuPGJyIC8+PC9ibG9ja3F1b3RlPjxwPjxiciAvPkEg Z2VuZXJpYyBzb2x1dGlvbiBmb3Igb2xkIE9DYW1sIHZlcnNpb25zICgmbHQ7 NC4wOCkgaGFzIGJlZW4gZXhwbGFpbmVkIGJ5PGJyIC8+R2FicmllbCBTY2hl cmVyIGluIHRoZSBmb2xsb3dpbmcgYmxvZyBwb3N0OjxiciAvPjxhIGhyZWY9 Imh0dHA6Ly9nYWxsaXVtLmlucmlhLmZyL2Jsb2cvb3ZlcnJpZGluZy1zdWJt b2R1bGVzLyI+aHR0cDovL2dhbGxpdW0uaW5yaWEuZnIvYmxvZy9vdmVycmlk aW5nLXN1Ym1vZHVsZXMvPC9hPjxiciAvPjxiciAvPlRoZSBpZGVhIGlzIHRv IHVzZSBkZXN0cnVjdGl2ZSBzdWJzdGl0dXRpb24gd2hpbGUgaW5jbHVkaW5n IHRoZSBvcmlnaW5hbDxiciAvPklwYWRkcjo8YnIgLz48YSBocmVmPSJodHRw Oi8vY2FtbC5pbnJpYS5mci9wdWIvZG9jcy9tYW51YWwtb2NhbWwtNC4wMS9l eHRuLmh0bWwjc2VjMjM0Ij5odHRwOi8vY2FtbC5pbnJpYS5mci9wdWIvZG9j cy9tYW51YWwtb2NhbWwtNC4wMS9leHRuLmh0bWwjc2VjMjM0PC9hPjxiciAv PjxiciAvPm1vZHVsZSBJcGFkZHIgPSBzdHJ1Y3Q8YnIgLz7CoMKgaW5jbHVk ZSAoSXBhZGRyIDogbW9kdWxlIHR5cGUgb2YgSXBhZGRyIHdpdGggbW9kdWxl IFByZWZpeCA6PSBJcGFkZHIuUHJlZml4KTxiciAvPsKgwqAuLi48YnIgLz5l bmQ8YnIgLz48YnIgLz5CdXQgSSBndWVzcyB0aGF0IHRoZSBjb2RlIHlvdSBw b3N0ZWQgc2hvdWxkIHdvcmsganVzdCBmaW5lIHdpdGggT0NhbWwgJmd0Oz00 LjA4PGJyIC8+dGhhbmtzIHRvIHRoZSBmb2xsb3dpbmcgY2hhbmdlOjxiciAv PjxhIGhyZWY9Imh0dHBzOi8vZ2l0aHViLmNvbS9vY2FtbC9vY2FtbC9wdWxs LzE4OTIiPmh0dHBzOi8vZ2l0aHViLmNvbS9vY2FtbC9vY2FtbC9wdWxsLzE4 OTI8L2E+PGJyIC8+PGJyIC8+QmVzdCByZWdhcmRzLjxiciAvPjwvcD48c3Bh biBjbGFzcz0iYzE4ZTlkNDg1ODU2YTg1NTEzNzE3YTVhNWI1OWQzZmV3bWkt c2lnbiI+LS0gPGJyIC8+VGhpZXJyeSBNYXJ0aW5lei48L3NwYW4+PC9ibG9j a3F1b3RlPg==