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 BEE557FC6B for ; Tue, 6 Oct 2015 15:57:55 +0200 (CEST) IronPort-PHdr: 9a23:GdKW+xUNdWnHrzZURwah4s+7xF/V8LGtZVwlr6E/grcLSJyIuqrYZxaPt8tkgFKBZ4jH8fUM07OQ6PC8HzNZqs7a+Fk5M7VyFDY9wf0MmAIhBMPXQWbaF9XNKxIAIcJZSVV+9Gu6O0UGUOz3ZlnVv2HgpWVKQka3CwN5K6zPF5LIiIzvjqbpq8GVPFwD3GH1SIgxBSv1hD2ZjtMRj4pmJ/R54TryiVwMRd5rw3h1L0mYhRf265T41pdi9yNNp6BprJYYAu3MRLkjVbFTEBghNmk04oWr6UiCHkOz4S4GU24WuhNOBQXV7Ri8WY3+4RH3ru5s5C7Pd+j/XbExVHyY5qFwQRmiwHMCLTc/62jRosZ0i6Veqh+7qFp5zpKCM6+PM/8rNIbUbdIfSCJ7V8BKXioJQqmYSKwqJcc7EqEQ8NKk738jnVr0TV2pHurp0TZOrnXy2qo/2ek7HkfA0RB2TIFGi2jdsNigbPRaauuy1qSdkWTO Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=Neutral smtp.pra=mransan@bloomberg.net; spf=Pass smtp.mailfrom=mransan@bloomberg.net; spf=None smtp.helo=postmaster@mgnj2.bloomberg.net Received-SPF: Neutral (mail3-smtp-sop.national.inria.fr: domain of mransan@bloomberg.net does not assert whether or not 69.191.244.20 is permitted sender) identity=pra; client-ip=69.191.244.20; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="mransan@bloomberg.net"; x-sender="mransan@bloomberg.net"; x-conformance=sidf_compatible; x-record-type="spf2.0" Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of mransan@bloomberg.net designates 69.191.244.20 as permitted sender) identity=mailfrom; client-ip=69.191.244.20; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="mransan@bloomberg.net"; x-sender="mransan@bloomberg.net"; 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@mgnj2.bloomberg.net) identity=helo; client-ip=69.191.244.20; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="mransan@bloomberg.net"; x-sender="postmaster@mgnj2.bloomberg.net"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0DPAQDR0hNWnBT0v0Veg3turHuBXIk5hWmCExcBCYV5HoEWOxEBAQEBAQEBARABAQEBAQYNCQkhLoIdggcBAhMBEwpBCxsVAg4dAgQdIQUHAyEICogHAxIFCKIeh3gBAXCGWIgmA4UAAQEBAQEFAQEBAQEBHIV4hXmEchcEHoIXOxSBMQWFfwyMQoM3AQ2FCooemU8RJoJTgVs+MwEBiD0BAQE X-IPAS-Result: A0DPAQDR0hNWnBT0v0Veg3turHuBXIk5hWmCExcBCYV5HoEWOxEBAQEBAQEBARABAQEBAQYNCQkhLoIdggcBAhMBEwpBCxsVAg4dAgQdIQUHAyEICogHAxIFCKIeh3gBAXCGWIgmA4UAAQEBAQEFAQEBAQEBHIV4hXmEchcEHoIXOxSBMQWFfwyMQoM3AQ2FCooemU8RJoJTgVs+MwEBiD0BAQE X-IronPort-AV: E=Sophos;i="5.17,644,1437429600"; d="scan'208,217";a="149784388" Received: from mgnj2.bloomberg.net ([69.191.244.20]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 06 Oct 2015 15:57:54 +0200 X-BB-Reception-Complete: 06 Oct 2015 09:57:53 -0400 X-IP-Listener: Outgoing Mail X-IP-MID: 29220475 Received: from p057.bloomberg.com (HELO p057) ([10.126.157.205]) by mgnj2.bloomberg.net with SMTP; 06 Oct 2015 09:57:53 -0400 X-BLP-INETSVC: version=BLP_APP_S_INETSVC_1.0.1; host=mgnj2:25; conid=52 Date: Tue, 6 Oct 2015 13:57:52 -0000 From: "Maxime Ransan (BLOOMBERG/ 731 LEX)" Reply-To: "Maxime Ransan" To: rich@annexia.org Cc: caml-list@inria.fr MIME-Version: 1.0 Message-ID: <5613D36001C106E20039047E_0_58858@p057> X-BLP-GUID: 5613D36001C106E20039047E0000 Content-Type: multipart/alternative; boundary="BOUNDARY_5613D36001C106E20039047E_0_51557_p057" Content-ID: Subject: Re: [Caml-list] Finding "lost" references to OCaml heap values --BOUNDARY_5613D36001C106E20039047E_0_51557_p057 Content-Type: text/plain; charset=UTF-8 Content-Disposition: inline Content-Transfer-Encoding: base64 SnVzdCBhIGhpbnQgYWJvdXQgd2h5IHRoZSBkZXN0cnVjdG9yIGlzIG5vdCBj YWxsZWQgaXMgdGhhdCB3aGVuIHVzaW5nIGNhbWxfYWxsb2NfY3VzdG9tIGF0 ICBodHRwczovL2dpdGh1Yi5jb20vbGliZ3Vlc3Rmcy9saWJndWVzdGZzL2Js b2IvbWFzdGVyL3Yydi94bWwtYy5jI0wxMzksIHlvdSBhcmUgc2V0dGluZyB0 aGUgdXNlZCBwYXJhbWV0ZXIgdG8gMC4gIAoKQXMgbWVudGlvbmVkIGluIGh0 dHA6Ly9jYW1sLmlucmlhLmZyL3B1Yi9kb2NzL21hbnVhbC1vY2FtbC00LjAw L21hbnVhbDAzMy5odG1sI3RvYzE1MCB5b3UgY2FuIGluY3JlYXNlIHRoZSBy YXRpby4gQSBxdWljayBjaGVjayB3b3VsZCBiZSB0byB1c2UgYSAodXNlZCA9 IDEsIG1heCA9IDEpLgoKRnJvbTogcmljaEBhbm5leGlhLm9yZyBBdDogT2N0 ICA2IDIwMTUgMDk6NDM6NTMKVG86IGNhbWwtbGlzdEBpbnJpYS5mcgpTdWJq ZWN0OiBSZTpbQ2FtbC1saXN0XSBGaW5kaW5nICJsb3N0IiByZWZlcmVuY2Vz IHRvIE9DYW1sIGhlYXAgdmFsdWVzCgoKSSBndWVzcyBJIGhhdmUgdHdvIHF1 ZXN0aW9uczoKCigxKSBJcyBjYWxsaW5nIEdjLmNvbXBhY3QgKCkgZ3VhcmFu dGVlZCB0byBjYWxsIHRoZSBmaW5hbGl6ZXIgb2YgYW55Cm9iamVjdCB3aGlj aCBpcyBubyBsb25nZXIgcmVhY2hhYmxlLCB1bmRlciBhbGwgY2lyY3Vtc3Rh bmNlcz8gIE9yCndvdWxkIHRoZXJlIGJlIHNvbWUgY2FzZSB3aGVyZSBpdCB3 b3VsZG4ndCBiZSBjYWxsZWQ/CgooMikgSSBoYXZlIGEgbGFyZ2UgbWl4ZWQg T0NhbWwgLyBDIHByb2dyYW1bYV0gd2hlcmUgc29tZWhvdyBjYWxsaW5nCkdj LmNvbXBhY3QgaXNuJ3QgY2FsbGluZyB0aGUgZGVzdHJ1Y3RvciBvZiBhICh2 ZXJ5KSBsYXJnZSBvYmplY3QuCk1hbnVhbCBjb2RlIGluc3BlY3Rpb24gaGFz IG5vdCByZXZlYWxlZCBhbnl0aGluZyBzbyBmYXIgLS0Kc3VwZXJmaWNpYWxs eSBpdCBhcHBlYXJzIHdlIGFyZSBub3QgaG9sZGluZyBhbnkgcmVmZXJlbmNl cyB0byB0aGUKb2JqZWN0LiAgSXMgdGhlcmUgYW55IG1ldGhvZCAvIGxpYnJh cnkgLyB0b29sIHRoYXQgY2FuIGluc3BlY3QgdGhlCk9DYW1sIGhlYXAgYW5k IGZpbmQgcmVmZXJlbmNlcyB0byBhbiBvYmplY3Q/CgpSaWNoLgoKW2FdIGh0 dHBzOi8vZ2l0aHViLmNvbS9saWJndWVzdGZzL2xpYmd1ZXN0ZnMvdHJlZS9t YXN0ZXIvdjJ2CgotLSAKUmljaGFyZCBKb25lcwpSZWQgSGF0CgotLSAKQ2Ft bC1saXN0IG1haWxpbmcgbGlzdC4gIFN1YnNjcmlwdGlvbiBtYW5hZ2VtZW50 IGFuZCBhcmNoaXZlczoKaHR0cHM6Ly9zeW1wYS5pbnJpYS5mci9zeW1wYS9h cmMvY2FtbC1saXN0CkJlZ2lubmVyJ3MgbGlzdDogaHR0cDovL2dyb3Vwcy55 YWhvby5jb20vZ3JvdXAvb2NhbWxfYmVnaW5uZXJzCkJ1ZyByZXBvcnRzOiBo dHRwOi8vY2FtbC5pbnJpYS5mci9iaW4vY2FtbC1idWdzCgoK --BOUNDARY_5613D36001C106E20039047E_0_51557_p057 Content-Type: text/html; charset=UTF-8 Content-Disposition: inline Content-Transfer-Encoding: base64 PGh0bWw+PGhlYWQ+PHRpdGxlPjwvdGl0bGU+PC9oZWFkPjxib2R5PjwhLS0g cnRlLXZlcnNpb24gMC4yIDk5NDc1NTE2MzcyOTQwMDhiNzdiY2UyNWViNjgz ZGFjIC0tPjxkaXYgY2xhc3M9InJ0ZS1zdHlsZS1tYWludGFpbmVyIiBzdHls ZT0id2hpdGUtc3BhY2U6IHByZS13cmFwOyBmb250LXNpemU6IHNtYWxsOyBm b250LWZhbWlseTogJ0NvdXJpZXIgTmV3JywgQ291cmllcjsgY29sb3I6IHJn YigwLCAwLCAwKTsiZGF0YS1jb2xvcj0iZ2xvYmFsLWRlZmF1bHQiIGJiZy1j b2xvcj0iZGVmYXVsdCIgZGF0YS1iYi1mb250LXNpemU9Im1lZGl1bSIgYmJn LWZvbnQtc2l6ZT0ibWVkaXVtIiBiYmctZm9udC1mYW1pbHk9ImZpeGVkLXdp ZHRoIj5KdXN0IGEgaGludCBhYm91dCB3aHkgdGhlIGRlc3RydWN0b3IgaXMg bm90IGNhbGxlZCBpcyB0aGF0IHdoZW4gdXNpbmcgY2FtbF9hbGxvY19jdXN0 b20gYXQgIDxhIHNwZWxsY2hlY2s9ImZhbHNlImhyZWY9Imh0dHBzOi8vZ2l0 aHViLmNvbS9saWJndWVzdGZzL2xpYmd1ZXN0ZnMvYmxvYi9tYXN0ZXIvdjJ2 L3htbC1jLmMjTDEzOSJiYmctZGVzdGluYXRpb249InJ0ZTpiaW5kIiBkYXRh LWRlc3RpbmF0aW9uPSJydGU6YmluZCI+aHR0cHM6Ly9naXRodWIuY29tL2xp Ymd1ZXN0ZnMvbGliZ3Vlc3Rmcy9ibG9iL21hc3Rlci92MnYveG1sLWMuYyNM MTM5PC9hPiwgeW91IGFyZSBzZXR0aW5nIHRoZSB1c2VkIHBhcmFtZXRlciB0 byAwLiAmbmJzcDs8ZGl2Pjxicj48L2Rpdj48ZGl2PkFzIG1lbnRpb25lZCBp biA8YSBzcGVsbGNoZWNrPSJmYWxzZSIgaHJlZj0iaHR0cDovL2NhbWwuaW5y aWEuZnIvcHViL2RvY3MvbWFudWFsLW9jYW1sLTQuMDAvbWFudWFsMDMzLmh0 bWwjdG9jMTUwImJiZy1kZXN0aW5hdGlvbj0icnRlOmJpbmQiIGRhdGEtZGVz dGluYXRpb249InJ0ZTpiaW5kIj5odHRwOi8vY2FtbC5pbnJpYS5mci9wdWIv ZG9jcy9tYW51YWwtb2NhbWwtNC4wMC9tYW51YWwwMzMuaHRtbCN0b2MxNTA8 L2E+IHlvdSBjYW4gaW5jcmVhc2UgdGhlIHJhdGlvLiBBIHF1aWNrIGNoZWNr IHdvdWxkIGJlIHRvIHVzZSBhICh1c2VkID0gMSwgbWF4ID0gMSkuPGJyPjxk aXYgY2xhc3M9InJ0ZS1zdHlsZS1tYWludGFpbmVyIiBzdHlsZT0iZm9udC1z aXplOiBzbWFsbDsgZm9udC1mYW1pbHk6ICdDb3VyaWVyIE5ldycsIENvdXJp ZXI7IGNvbG9yOiByZ2IoMCwgMCwgMCk7ImRhdGEtY29sb3I9Imdsb2JhbC1k ZWZhdWx0IiBiYmctY29sb3I9ImRlZmF1bHQiIGRhdGEtYmItZm9udC1zaXpl PSJtZWRpdW0iIGJiZy1mb250LXNpemU9Im1lZGl1bSIgYmJnLWZvbnQtZmFt aWx5PSJmaXhlZC13aWR0aCI+PGJyPjxkaXYgY2xhc3M9ImJiZy1ydGUtZm9s ZC1jb250ZW50IiBkYXRhLWhlYWRlcj0iRnJvbTogcmljaEBhbm5leGlhLm9y ZyBBdDogT2N0IDYgMjAxNSAwOTo0Mzo1MyIgZGF0YS1kaWdlc3Q9IkZyb206 IHJpY2hAYW5uZXhpYS5vcmcgQXQ6IE9jdCA2IDIwMTUgMDk6NDM6NTMiIHN0 eWxlPSIiPjxkaXYgY2xhc3M9ImJiZy1ydGUtZm9sZC1zdW1tYXJ5Ij5Gcm9t OiByaWNoQGFubmV4aWEub3JnIEF0OiBPY3QgIDYgMjAxNSAwOTo0Mzo1Mzwv ZGl2PjxkaXY+VG86IDxhIGhyZWY9Im1haWx0bzpjYW1sLWxpc3RAaW5yaWEu ZnIiIHNwZWxsY2hlY2s9ImZhbHNlImJiZy1kZXN0aW5hdGlvbj0ibWFpbHRv OnJ0ZTpiaW5kIj5jYW1sLWxpc3RAaW5yaWEuZnI8L2E+PGJyPlN1YmplY3Q6 IFJlOltDYW1sLWxpc3RdIEZpbmRpbmcgImxvc3QiIHJlZmVyZW5jZXMgdG8g T0NhbWwgaGVhcCB2YWx1ZXM8YnI+PC9kaXY+PC9kaXY+PGJsb2NrcXVvdGU+ PGJyPkkgZ3Vlc3MgSSBoYXZlIHR3byBxdWVzdGlvbnM6PGJyPjxicj4oMSkg SXMgY2FsbGluZyBHYy5jb21wYWN0ICgpIGd1YXJhbnRlZWQgdG8gY2FsbCB0 aGUgZmluYWxpemVyIG9mIGFueTxicj5vYmplY3Qgd2hpY2ggaXMgbm8gbG9u Z2VyIHJlYWNoYWJsZSwgdW5kZXIgYWxsIGNpcmN1bXN0YW5jZXM/ICBPcjxi cj53b3VsZCB0aGVyZSBiZSBzb21lIGNhc2Ugd2hlcmUgaXQgd291bGRuJ3Qg YmUgY2FsbGVkPzxicj48YnI+KDIpIEkgaGF2ZSBhIGxhcmdlIG1peGVkIE9D YW1sIC8gQyBwcm9ncmFtW2FdIHdoZXJlIHNvbWVob3cgY2FsbGluZzxicj5H Yy5jb21wYWN0IGlzbid0IGNhbGxpbmcgdGhlIGRlc3RydWN0b3Igb2YgYSAo dmVyeSkgbGFyZ2Ugb2JqZWN0Ljxicj5NYW51YWwgY29kZSBpbnNwZWN0aW9u IGhhcyBub3QgcmV2ZWFsZWQgYW55dGhpbmcgc28gZmFyIC0tPGJyPnN1cGVy ZmljaWFsbHkgaXQgYXBwZWFycyB3ZSBhcmUgbm90IGhvbGRpbmcgYW55IHJl ZmVyZW5jZXMgdG8gdGhlPGJyPm9iamVjdC4gIElzIHRoZXJlIGFueSBtZXRo b2QgLyBsaWJyYXJ5IC8gdG9vbCB0aGF0IGNhbiBpbnNwZWN0IHRoZTxicj5P Q2FtbCBoZWFwIGFuZCBmaW5kIHJlZmVyZW5jZXMgdG8gYW4gb2JqZWN0Pzxi cj48YnI+UmljaC48YnI+PGJyPlthXSA8YSBocmVmPSJodHRwczovL2dpdGh1 Yi5jb20vbGliZ3Vlc3Rmcy9saWJndWVzdGZzL3RyZWUvbWFzdGVyL3YydiJz cGVsbGNoZWNrPSJmYWxzZSIgYmJnLWRlc3RpbmF0aW9uPSJydGU6YmluZCIg ZGF0YS1kZXN0aW5hdGlvbj0icnRlOmJpbmQiPmh0dHBzOi8vZ2l0aHViLmNv bS9saWJndWVzdGZzL2xpYmd1ZXN0ZnMvdHJlZS9tYXN0ZXIvdjJ2PC9hPjxi cj48YnI+LS0gPGJyPlJpY2hhcmQgSm9uZXM8YnI+UmVkIEhhdDxicj48YnI+ LS0gPGJyPkNhbWwtbGlzdCBtYWlsaW5nIGxpc3QuICBTdWJzY3JpcHRpb24g bWFuYWdlbWVudCBhbmQgYXJjaGl2ZXM6PGJyPjxhIGhyZWY9Imh0dHBzOi8v c3ltcGEuaW5yaWEuZnIvc3ltcGEvYXJjL2NhbWwtbGlzdCJzcGVsbGNoZWNr PSJmYWxzZSIgYmJnLWRlc3RpbmF0aW9uPSJydGU6YmluZCIgZGF0YS1kZXN0 aW5hdGlvbj0icnRlOmJpbmQiPmh0dHBzOi8vc3ltcGEuaW5yaWEuZnIvc3lt cGEvYXJjL2NhbWwtbGlzdDwvYT48YnI+QmVnaW5uZXIncyBsaXN0OiA8YSBo cmVmPSJodHRwOi8vZ3JvdXBzLnlhaG9vLmNvbS9ncm91cC9vY2FtbF9iZWdp bm5lcnMic3BlbGxjaGVjaz0iZmFsc2UiIGJiZy1kZXN0aW5hdGlvbj0icnRl OmJpbmQiIGRhdGEtZGVzdGluYXRpb249InJ0ZTpiaW5kIj5odHRwOi8vZ3Jv dXBzLnlhaG9vLmNvbS9ncm91cC9vY2FtbF9iZWdpbm5lcnM8L2E+PGJyPkJ1 ZyByZXBvcnRzOiA8YSBocmVmPSJodHRwOi8vY2FtbC5pbnJpYS5mci9iaW4v Y2FtbC1idWdzInNwZWxsY2hlY2s9ImZhbHNlIiBiYmctZGVzdGluYXRpb249 InJ0ZTpiaW5kIiBkYXRhLWRlc3RpbmF0aW9uPSJydGU6YmluZCI+aHR0cDov L2NhbWwuaW5yaWEuZnIvYmluL2NhbWwtYnVnczwvYT48YnI+PC9ibG9ja3F1 b3RlPjxicj48L2Rpdj48L2Rpdj48L2Rpdj48L2JvZHk+PC9odG1sPg== --BOUNDARY_5613D36001C106E20039047E_0_51557_p057--