From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by c5ff346549e7 (Postfix) with ESMTPS id A19B35D6 for ; Mon, 12 Aug 2019 06:35:39 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.64,376,1559512800"; d="scan'208";a="395136926" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 12 Aug 2019 08:35:38 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 74FD07EF0E; Mon, 12 Aug 2019 08:35:38 +0200 (CEST) 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 2BF007ED1F for ; Mon, 12 Aug 2019 08:35:35 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=nicolas.ojeda.bar@lexifi.com; spf=Pass smtp.mailfrom=nicolas.ojeda.bar@lexifi.com; spf=Pass smtp.helo=postmaster@FRA01-PR2-obe.outbound.protection.outlook.com IronPort-PHdr: =?us-ascii?q?9a23=3AAQnKch8MUyajOv9uRHKM819IXTAuvvDOBiVQ1KB+?= =?us-ascii?q?0+sVIJqq85mqBkHD//Il1AaPAdyBrase0KGP6viocFdDyK7JiGoFfp1IWk1Nou?= =?us-ascii?q?QttCtkPvS4D1bmJuXhdS0wEZcKflZk+3amLRodQ56mNBXdrXKo8DEdBAj0OxZr?= =?us-ascii?q?KeTpAI7SiNm82/yv95HJbAhEmSSxbalvIBmoowjdudQajZZ+Jq0s1hbHv3xEdv?= =?us-ascii?q?hMy2h1P1yThRH85smx/J5n7Stdvu8q+tBDX6vnYak2VKRUAzs6PW874s3rrgTD?= =?us-ascii?q?QhCU5nQASGUWkwFHDBbD4RrnQ5r+qCr6tu562CmHIc37SK0/VDq+46t3ThLjlS?= =?us-ascii?q?AIOSMk8GHMksx/kr5UoA6vqRx4xo7beoCVNPxjda/Zct4XQW9NU8BMXCJDH4y8?= =?us-ascii?q?dZMCAeofM+hFs4nzqVgArRW8CgmtGOzhxTBHi2Tq3aIhyektDR3K0BAiEt8IrX?= =?us-ascii?q?/arM/1NKAXUe2t1KfIzCnMb/RS2TD/84jDbwkvofOSUr1ta8Xa1FQiEAbfjl6N?= =?us-ascii?q?roHlOTKV2fgKs2if9eVgTviji2klqw5vvzeg3N0ghZLTiYIP0V3E8Tt2wYk0Jd?= =?us-ascii?q?22SU53e8KrEJxVtyyDMYZ9X80sQ2ZtuCkgy70Gv4a2czQQx5Qiwx7Qd/2Hc5SI?= =?us-ascii?q?4x75U+aROzh4iGpgeLK4gBay9lKsxfH7Vsmx1ltBsylLksHUu30CyxDf8NWLRu?= =?us-ascii?q?d/80u7xDqDyRrf5vxKLEwpjabXNYItz7oqmpcQsUnPBDL6lUT0gaOMdkgp9PCk?= =?us-ascii?q?6+r5bbjlupORMop5ig/iPagylMGyBOA1PhUAUmSG/Omx16Hv8En5TbhPk/E5jK?= =?us-ascii?q?fUvZHcKM8GvKC2GRVV3Zwm6xunDzepztAYnX4fIVxFZByKk5TlN0zXLP7iEfmz?= =?us-ascii?q?nU2gkDBwyP/YJLHhBYjNLmTYn7fmYLZ97VNTxBArzdBF4JJUFq8OL+7vWk/ws9?= =?us-ascii?q?zYCAU1Mwupw+b7DNV90YQeWWGVDqCFN6PStEeE5uMpI+aSeI8YoDnwJ+Q/6/Lz?= =?us-ascii?q?kXM0m0URcbS30ZcNdXy1EOlqL12cYXX2g9cBFWkKvhA5TOzvkFCCVz9TaGq1X6?= =?us-ascii?q?I4/D47E5iqDYDBRo+znbOOxj23EYZMaWBcEV2MFWnndoqFW/cCaSKeONNukjsB?= =?us-ascii?q?VbS5UY8uyQmutBPmy7pgNufb5jcXtZfn1NRs4+3TlAoy9SBvAsSG02CNSnl0kX?= =?us-ascii?q?kSSz832qB/u019xU2Z3ah2mfwLXeBUstJAVE8INJvZwvZ/Ata6DgPdbP+XRUy3?= =?us-ascii?q?BNGhBio8SsN3xMUBNRVTAdKn2zbC1C2uiqRdsL6GCJV82C7Glyz3Js16z3/dkq?= =?us-ascii?q?4jglUvBMFGL0Wii75++QmVDInMxRbK3522fLgRiXaevFyIynCD6R0JCV8iYeD+?= =?us-ascii?q?RXkaI3Dug5H870LGQaWpDO19YA9M2c+MK+1Bbdi71AwaFsemA8zXZieKo0n1HQ?= =?us-ascii?q?yBn+neaIf6emscmi7aDRpcyl1BzTO9LQE7QxyZjSfeAThpSQ29TXnFqbA7kEnh?= =?us-ascii?q?C0g+wkeNclFr0Kez9lgNn/uARvgP37UC/iA8tzFzG1X71NXTWYON?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BLBQD6B1Fdh4MMayhmHgEGBwaBZ4FFU?= =?us-ascii?q?HByAwQLKgqEFINHA4UyhV52gWWKV2uOcgNUCQEDAQsBJQgCAQGEPwIXgmkGAQQ?= =?us-ascii?q?0EwEEAQEEAQEEAQMHARMBAQEIDQkIKYUuDII6DIMFAQEEEhERDAEBLAsBDwIBC?= =?us-ascii?q?AsDCgICJgICAiAQFRACBA4FIoMAAYFqAx0BAgyfSAKBOIhfAQFygTKCegEBBYF?= =?us-ascii?q?HQYMRGIENgQcJgQwojF6BHIN1Lj6CVgsDAQKBXYMLgliPEY4Nji0HAoIfgXuEa?= =?us-ascii?q?I1PG4IwbYZCik6EEIQckRiFQopiAgQCBAUCDgEBBYFngXlwUDEGgjUJgjkag1i?= =?us-ascii?q?FFIU/QTEBAQGBJo0ZAYEgAQE?= X-IPAS-Result: =?us-ascii?q?A0BLBQD6B1Fdh4MMayhmHgEGBwaBZ4FFUHByAwQLKgqEFIN?= =?us-ascii?q?HA4UyhV52gWWKV2uOcgNUCQEDAQsBJQgCAQGEPwIXgmkGAQQ0EwEEAQEEAQEEA?= =?us-ascii?q?QMHARMBAQEIDQkIKYUuDII6DIMFAQEEEhERDAEBLAsBDwIBCAsDCgICJgICAiA?= =?us-ascii?q?QFRACBA4FIoMAAYFqAx0BAgyfSAKBOIhfAQFygTKCegEBBYFHQYMRGIENgQcJg?= =?us-ascii?q?QwojF6BHIN1Lj6CVgsDAQKBXYMLgliPEY4Nji0HAoIfgXuEaI1PG4IwbYZCik6?= =?us-ascii?q?EEIQckRiFQopiAgQCBAUCDgEBBYFngXlwUDEGgjUJgjkag1iFFIU/QTEBAQGBJ?= =?us-ascii?q?o0ZAYEgAQE?= X-IronPort-AV: E=Sophos;i="5.64,376,1559512800"; d="scan'208";a="316158317" X-MGA-submission: =?us-ascii?q?MDHeiUJ6ZLKR4YL7Qn2Ek6sKmerGmVwU3ffVQZ?= =?us-ascii?q?n05gEcO+DRsAo5ZxvrhIz0ntHjXXC8rsPovevyUH0E9CrLGiDnp7c1Xo?= =?us-ascii?q?gzDlwjiw+UG1TZywyX/bodIcerXizaqpsDFKvUEtEyMw2Pk5xjVNkoVl?= =?us-ascii?q?hhOahIutZ+o8Kh5pWo0XvQvQ=3D=3D?= Received: from mail-eopbgr120131.outbound.protection.outlook.com (HELO FRA01-PR2-obe.outbound.protection.outlook.com) ([40.107.12.131]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES256-GCM-SHA384; 12 Aug 2019 08:35:34 +0200 ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=Dmz9OnXdI1gw9tHPcn4/xBGAJF1eiaBK9EESKOIFO4oLwnEl1OxATigvkPSI7T4jBVFgvrYYo6Wn26Zkafkmp5wYYEqJ7Mpc6VpmRNDUJyaD22iiLg3ABjuHhKf/FLETYbu2/iHOHWkrOQ6leuWkf17TitShvG7nZSyCU2pRYVCFN52/A+dOAvw4V4fwR8dfHylTQc5MP4DPo0kjX6Pwu5MGbXRZ7MSqFskgIUJVgOtarFrlm2LkHjIbdBof0mZlch2iEwxZBGS8etkP/IvWB0+5dCBxjxImcmkF9FSY5pPF4Ozs8i2O6VegrCnwtKplGGNj5LsCXwrv8em+vBMnkA== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector9901; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=A2zpLjIJQknnho+qX3RzUy6inKlJ/+PpCy6Km8Wkx88=; b=k3bxEtFzRwi2xVAardgqYuTqvIBeQUBy6jbLUA2pOt1Covz9xUeCnma/j3AwU6N0p7iteX61clEDS4CxE0gc3k9ri6fs+iUiDvV2etslz+V0XAfKkiJQ2YR4NkC+MDOCmrbEEpVWfJN6/Jhp4/TehUyOGypQoeSuBW2Ch4ZI0FeIwHHU16cXLVJDUK6sy3BYe8xxGu0wziEJnwo3Hrr5OLDCuJvoJjdUNO04TCjp0X6F9yFtIYltlzveSwIzywHXdnId1rxsRS5PnFZA+1gs0O5GaT2qeRx+VEQ0a3WgpTlRu9JEQDIFjacmR3F92t8SsmX5Zs9sTnxVTE5SoBYfHQ== ARC-Authentication-Results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=lexifi.com; dmarc=pass action=none header.from=lexifi.com; dkim=pass header.d=lexifi.com; arc=none DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=lexifi1.onmicrosoft.com; s=selector2-lexifi1-onmicrosoft-com; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=A2zpLjIJQknnho+qX3RzUy6inKlJ/+PpCy6Km8Wkx88=; b=Gg1C5U9YSozHQ1qsyRZiCNjuUYjAUyZEeDxX9QCRGOCvnr9mwmk/mF7oBYEkQo6yisunM2IAzVaeoBP1UlcCSgqFSvlOceotGGEEm98dlP9HSGAeOerLSdAOWy2E0ods8aGKqn0EpGTDTX55bhdYV0WhtXyVrZUuoSeBK/yxk10= Received: from PR0P264MB0778.FRAP264.PROD.OUTLOOK.COM (52.133.68.14) by PR0P264MB0250.FRAP264.PROD.OUTLOOK.COM (52.133.66.139) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.2157.21; Mon, 12 Aug 2019 06:35:32 +0000 Received: from PR0P264MB0778.FRAP264.PROD.OUTLOOK.COM ([fe80::fc03:9131:8095:1e36]) by PR0P264MB0778.FRAP264.PROD.OUTLOOK.COM ([fe80::fc03:9131:8095:1e36%4]) with mapi id 15.20.2157.022; Mon, 12 Aug 2019 06:35:32 +0000 From: =?utf-8?B?Tmljb2zDoXMgT2plZGEgQsOkcg==?= To: Ian Zimmerman CC: Caml Mailinglist Thread-Topic: [Caml-list] utop - how to find deep dependencies Thread-Index: AQHVUIpZdV728TxMgkeQA/vrMqVsVqb3DyIA Date: Mon, 12 Aug 2019 06:35:32 +0000 Message-ID: References: <20190811211817.tryiala7zlsewgyb@matica.foolinux.mooo.com> In-Reply-To: <20190811211817.tryiala7zlsewgyb@matica.foolinux.mooo.com> Accept-Language: en-US Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: x-clientproxiedby: HE1PR07CA0003.eurprd07.prod.outlook.com (2603:10a6:7:67::13) To PR0P264MB0778.FRAP264.PROD.OUTLOOK.COM (2603:10a6:100:8::14) x-ms-exchange-messagesentrepresentingtype: 1 x-gm-message-state: APjAAAUzSRsDeXNmk9vmvjbj96s3nzGbYSJi4zqbSRxqEkJdmzc0kVcF NRiGgRTtu84I0mFaLtJe5nxyYl7bdYszNgckjTQ= x-google-smtp-source: APXvYqx8tYtZEyrR9iTeV3Ii8cC3Ff6rDzbfKyTYTJrcHUtXeJCeJGmN2m1vQyVsvvLejUlqBRHSSYC7Oni0AFcukvw= x-received: by 2002:a19:4c57:: with SMTP id z84mr4300114lfa.87.1565591729330; Sun, 11 Aug 2019 23:35:29 -0700 (PDT) x-gmail-original-message-id: x-originating-ip: [209.85.167.53] x-ms-publictraffictype: Email x-ms-office365-filtering-correlation-id: c239fde2-dc68-420a-d97c-08d71eef4644 x-microsoft-antispam: BCL:0;PCL:0;RULEID:(2390118)(7020095)(4652040)(7021145)(8989299)(4534185)(7022145)(4603075)(4627221)(201702281549075)(8990200)(7048125)(7024125)(7027125)(7023125)(5600148)(711020)(4605104)(1401327)(2017052603328)(7193020);SRVR:PR0P264MB0250; x-ms-traffictypediagnostic: PR0P264MB0250: x-ms-exchange-purlcount: 1 x-microsoft-antispam-prvs: x-ms-oob-tlc-oobclassifiers: OLM:10000; x-forefront-prvs: 012792EC17 x-forefront-antispam-report: SFV:NSPM;SFS:(10019020)(366004)(136003)(39830400003)(396003)(376002)(346002)(42606007)(189003)(199004)(6436002)(6486002)(71190400001)(7736002)(498394004)(81156014)(229853002)(71200400001)(305945005)(25786009)(66066001)(81166006)(61266001)(5660300002)(19625735003)(6116002)(8936002)(508600001)(8676002)(99286004)(316002)(61726006)(95326003)(966005)(6512007)(9686003)(6246003)(6306002)(26005)(186003)(86362001)(85202003)(3846002)(76176011)(386003)(6506007)(2906002)(53936002)(52116002)(85182001)(64756008)(66556008)(66446008)(66476007)(66946007)(53546011)(102836004)(14454004)(486006)(4326008)(55446002)(6862004)(11346002)(446003)(476003)(256004)(37363001);DIR:OUT;SFP:1102;SCL:1;SRVR:PR0P264MB0250;H:PR0P264MB0778.FRAP264.PROD.OUTLOOK.COM;FPR:;SPF:None;LANG:en;PTR:InfoNoRecords;MX:1;A:1; x-ms-exchange-senderadcheck: 1 x-microsoft-antispam-message-info: tzRSdIFBHdG6YjgNP+7Eepw0NJbmgeh+39p2W+nxqGXR5/3cC5kbluHyj0gggpqXfEyrAtRMeEcGIEj4pJYXbhp3vbCa8q7O2cYZ48oxPD9/6OltBF2ryvVFvXrURUQ+NrU67XuPwSW64Ct3AM1J7q8BM0tmeklFo1SDh0PfSo0lD4GbkipcbD3w3LbPDzpeO8Ur5GUNiXDhoyVE4/OyzQx6QVF679xh+a3JPovSsYECpb/0qQBEz0xNrKVUHcjiL0aa1X20IRyE3G9NiflDqDkX4FwsyIdw4mGSnXadI2sAvKU8jVh7dHX5fStObRnyNzWyAI3IPndoLp8InFpw6K0K+729j/YxG0oyIBlHdHEwDUNS0RZwSa2SVToqxIKrIowoBGo3SOnnJXig8hgyJ15Gt8YP6/domJ6N2v8CJic= x-ms-exchange-transport-forked: True Content-Type: text/plain; charset="utf-8" Content-ID: Content-Transfer-Encoding: base64 MIME-Version: 1.0 X-OriginatorOrg: lexifi.com X-MS-Exchange-CrossTenant-Network-Message-Id: c239fde2-dc68-420a-d97c-08d71eef4644 X-MS-Exchange-CrossTenant-originalarrivaltime: 12 Aug 2019 06:35:32.3727 (UTC) X-MS-Exchange-CrossTenant-fromentityheader: Hosted X-MS-Exchange-CrossTenant-id: 9c9628ec-e5c3-4aa7-afa1-e7bf99470874 X-MS-Exchange-CrossTenant-mailboxtype: HOSTED X-MS-Exchange-CrossTenant-userprincipalname: pe/YodY6/A6TBdRT2wuaYl3i6Y6z9GNbxvYIEZzWGE9errOM2HYVX/09ryDKdCyS/uH/lRmShFIuLG6CyMfERHeMVqc8aC4jPYq59znf0r0= X-MS-Exchange-Transport-CrossTenantHeadersStamped: PR0P264MB0250 Subject: Re: [Caml-list] utop - how to find deep dependencies Reply-To: =?utf-8?B?Tmljb2zDoXMgT2plZGEgQsOkcg==?= X-Loop: caml-list@inria.fr X-Sequence: 17762 Errors-to: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Archive: List-Help: List-Owner: List-Post: List-Subscribe: List-Unsubscribe: SGkgSWFuLA0KDQpOb3Qgc3VyZSBhYm91dCB1dG9wIGluIHBhcnRpY3VsYXIsIGJ1dCBpbiB0aGUg dmFuaWxsYSBvY2FtbCB0b3BsZXZlbCwNCnlvdSBjYW4gZG86DQoNCiAgICAjdXNlICJ0b3BmaW5k Ijs7DQogICAgI3JlcXVpcmUgInBhY2thZ2UiOzsNCg0KVG8gbG9hZCBhIGZpbmRsaWIgcGFja2Fn ZSBhbmQgYWxsIGl0cyBkZXBlbmRlbmNpZXMgaW4gb25lIGdvLiBTZWUNCg0KICAgIGh0dHA6Ly9w cm9qZWN0cy5jYW1sY2l0eS5vcmcvcHJvamVjdHMvZGwvZmluZGxpYi0xLjguMS9kb2MvcmVmLWh0 bWwvbGliL1RvcGZpbmQuaHRtbA0KDQpmb3IgbW9yZSBpbmZvcm1hdGlvbi4NCg0KQmVzdCB3aXNo ZXMsDQpOaWNvbMOhcw0KDQpPbiBTdW4sIEF1ZyAxMSwgMjAxOSBhdCAxMToxOCBQTSBJYW4gWmlt bWVybWFuIDxpdHpAdmVyeS5sb29zZWx5Lm9yZz4gd3JvdGU6DQo+DQo+IEkgdGhvdWdodCB0aGlz IGtpbmQgb2YgdGhpbmcgd291bGQgYmUgZWFzaWVyIHdpdGggdXRvcCwgYnV0IGFsYXM6DQo+DQo+ IHV0b3BbM10+ICNwd2Q7Ow0KPiAvaG9tZS9pdHoNCj4gdXRvcFs0XT4gI2xvYWRfcmVjICJzZ2Yu Y21hIjs7DQo+IENhbm5vdCBmaW5kIGZpbGUgc2dmLmNtYS4NCj4gdXRvcFs1XT4gI2RpcmVjdG9y eSAiKy4uL3NnZiI7Ow0KPiB1dG9wWzZdPiAjbG9hZF9yZWMgInNnZi5jbWEiOzsNCj4gRXJyb3I6 IFJlZmVyZW5jZSB0byB1bmRlZmluZWQgZ2xvYmFsIGBTZWRsZXhpbmcnDQo+IHV0b3BbN10+ICNk aXJlY3RvcnkgIisuLi9zZWRsZXgiOzsNCj4gdXRvcFs4XT4gI2xvYWRfcmVjICJzZ2YuY21hIjs7 DQo+IEVycm9yOiBSZWZlcmVuY2UgdG8gdW5kZWZpbmVkIGdsb2JhbCBgU2VkbGV4aW5nJw0KPiB1 dG9wWzldPiAjbG9hZF9yZWMgInNlZGxleC5jbWEiOzsNCj4gRXJyb3I6IFJlZmVyZW5jZSB0byB1 bmRlZmluZWQgZ2xvYmFsIGBBc3RfbWFwcGVyX2NsYXNzJw0KPg0KPiBJcyB0aGVyZSBhbnkgd2F5 IHRvIGludGVncmF0ZSB3aXRoIGZpbmRsaWIgc28gSSBkb24ndCBoYXZlIHRvIGRpc2NvdmVyDQo+ IHRoZSB3aG9sZSBkZXBlbmRlbmNpZXMgdHJlZSBvbmUgYnkgb25lPw0KPg0KPiAtLQ0KPiBQbGVh c2UgZG9uJ3QgQ2M6IG1lIHByaXZhdGVseSBvbiBtYWlsaW5nIGxpc3RzIGFuZCBVc2VuZXQsDQo+ IGlmIHlvdSBhbHNvIHBvc3QgdGhlIGZvbGxvd3VwIHRvIHRoZSBsaXN0IG9yIG5ld3Nncm91cC4N Cj4gVG8gcmVwbHkgcHJpdmF0ZWx5IF9vbmx5XyBvbiBVc2VuZXQgYW5kIG9uIGJyb2tlbiBsaXN0 cw0KPiB3aGljaCByZXdyaXRlIEZyb20sIGZldGNoIHRoZSBUWFQgcmVjb3JkIGZvciBuby11c2Uu bW9vby5jb20uDQo=