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 B055B7EE89 for ; Wed, 25 Oct 2017 15:27:33 +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@forward4o.cmail.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=37.9.109.248; 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 37.9.109.248 as permitted sender) identity=mailfrom; client-ip=37.9.109.248; 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@forward4o.cmail.yandex.net) identity=helo; client-ip=37.9.109.248; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="vadim@radovel.ru"; x-sender="postmaster@forward4o.cmail.yandex.net"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3An3o0oxIpdsf+De2xG9mcpTZWNBhigK39O0sv0rFi?= =?us-ascii?q?tYgXIv3xwZ3uMQTl6Ol3ixeRBMOAtKIC1rKempujcFJDyK7JiGoFfp1IWk1Nou?= =?us-ascii?q?QttCtkPvS4D1bmJuXhdS0wEZcKflZk+3amLRodQ56mNBX660e/5j8KGxj5KRE9?= =?us-ascii?q?ZqGsQtaT3IyL0LWV0JTWZ01tjTu5YLV9ZDG3thmZ4sIfhI8nLqcq1jPIpGFJcq?= =?us-ascii?q?JY3zU7C0iUmkPi78ux+bZ5+ihXpf8lsdRdAvayRLgxUbENVGduCGsy/sC+8ECb?= =?us-ascii?q?FQY=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BBBgDjkPBZevhtCSVcHAEBBAEBCgEBF?= =?us-ascii?q?QEBAQECAQEBAQgBAQEBglURS4FVJ4N6gQSCEpYUgXqIS4gthVKCAQqCTYJuAgg?= =?us-ascii?q?SB4RLRBMBAQEBAQEBAQEBARIBAQkLDAcoL4I4BQEeAQWCPAEEASMRDAEBNwEEC?= =?us-ascii?q?wkCGgImAgICHzYGE4oIAw0JA4tBnHxrgieDCAEBBYQwDYNEAQEBAQEBAQECAQE?= =?us-ascii?q?BAQEBAQEBAQEVCIEPgh+BNlGFVoENgl6BbzgNCAIGgneCYZJljlc8j36EeZMmj?= =?us-ascii?q?Q2IdIE5N4F7gQlPgmSCTYIVc4pHgVUBAQE?= X-IPAS-Result: =?us-ascii?q?A0BBBgDjkPBZevhtCSVcHAEBBAEBCgEBFQEBAQECAQEBAQg?= =?us-ascii?q?BAQEBglURS4FVJ4N6gQSCEpYUgXqIS4gthVKCAQqCTYJuAggSB4RLRBMBAQEBA?= =?us-ascii?q?QEBAQEBARIBAQkLDAcoL4I4BQEeAQWCPAEEASMRDAEBNwEECwkCGgImAgICHzY?= =?us-ascii?q?GE4oIAw0JA4tBnHxrgieDCAEBBYQwDYNEAQEBAQEBAQECAQEBAQEBAQEBAQEVC?= =?us-ascii?q?IEPgh+BNlGFVoENgl6BbzgNCAIGgneCYZJljlc8j36EeZMmjQ2IdIE5N4F7gQl?= =?us-ascii?q?PgmSCTYIVc4pHgVUBAQE?= X-IronPort-AV: E=Sophos;i="5.43,431,1503352800"; d="scan'208,217";a="242333458" Received: from forward4o.cmail.yandex.net ([37.9.109.248]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 25 Oct 2017 15:27:10 +0200 Received: from mxback3g.mail.yandex.net (mxback3g.mail.yandex.net [IPv6:2a02:6b8:0:1472:2741:0:8b7:164]) by forward4o.cmail.yandex.net (Yandex) with ESMTP id 6C5E720BE0; Wed, 25 Oct 2017 16:27:08 +0300 (MSK) Received: from web34g.yandex.ru (web34g.yandex.ru [2a02:6b8:0:1402::84]) by mxback3g.mail.yandex.net (nwsmtp/Yandex) with ESMTP id YavuakmSjI-R7jiYquk; Wed, 25 Oct 2017 16:27:07 +0300 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=radovel.ru; s=mail; t=1508938027; bh=3Zz1Z9KdTOPVcslqZz6z+7H9VN208nFdAVa0BWqDaDo=; h=From:To:Cc:In-Reply-To:References:Subject:Message-Id:Date; b=jz5jCLM8YOMRoBoUvTejvrO3XSh4BWKExz/pFagmLQsDBFUxqxIWTFySQoOPeJSWa nptUxQu1FY1cyeIG2SPLV/pXzetg4bU9s7L90Uu4XSIuJ6FGOhKBqohnVDO84IfeR5 hXHmHbxa1aAN1Y8xVgaiREmbKlEVTLlFN2cl9d2s= Received: by web34g.yandex.ru with HTTP; Wed, 25 Oct 2017 16:27:07 +0300 From: vadim@radovel.ru To: OCaml Mailing List Cc: Gabriel Scherer , =?utf-8?B?Q2hyaXN0b3BoIEjDtmdlcg==?= In-Reply-To: References: MIME-Version: 1.0 Message-Id: <341271508938027@web34g.yandex.ru> X-Mailer: Yamail [ http://yandex.ru ] 5.0 Date: Wed, 25 Oct 2017 16:27:07 +0300 Content-Transfer-Encoding: base64 Content-Type: text/html; charset=utf-8 Subject: Re: [Caml-list] classes not optimized? PGRpdj7CoDwvZGl2PjxkaXY+RXhjdXNlIG1lLCBkb2VzIHRoaXMgbWVhbiB0 aGF0IEkgc2hvdWxkIHVzZSBtb2R1bGVzIGluc3RlYWQgb2Ygb2JqZWN0cyBp ZiBpdHMgcG9zaWJsZS4gRm9yIGV4YW1wbGU6IEkgaGF2ZSBhIGJpZyBsaXN0 IG9mIGRpZmZlcmVudCBtb2R1bGVzIHdpdGggdGhlIHNhbWUgc2lnbmF0dXJl IGNvbnRhaW5pbmcgc29tZSB2YWx1ZXMgYW5kIGZ1bmN0aW9ucyBpbnNpZGUg LSB3b3VsZCBpdCBnaXZlIHRoZSBiZXN0IHBlcmZvcm1hbmNlIGluIE9DYW1s IGNvbXBhcmluZyB0byBjbGFzc2VzLCBvYmplY3RzLCBldGM/PC9kaXY+PGRp dj7CoDwvZGl2PjxkaXY+wqA8L2Rpdj48ZGl2PjI1LjEwLjIwMTcsIDEyOjQ1 LCAiR2FicmllbCBTY2hlcmVyIiAmbHQ7Z2FicmllbC5zY2hlcmVyQGdtYWls LmNvbSZndDs6PC9kaXY+PGJsb2NrcXVvdGUgdHlwZT0iY2l0ZSI+PGRpdj48 ZGl2PjxkaXY+T2JqZWN0LW9yaWVudGVkIGNvZGUgdGVuZHMgdG8gZ2VuZXJh dGUgbGFyZ2UgaW50ZXJtZWRpYXRlIHJlcHJlc2VudGF0aW9ucywgdG9vIGxh cmdlIHRvIGJlIGlubGluZWQgYW5kIHRvbyBjb21wbGV4IHRvIGJlIHBhcnRp YWxseSBldmFsdWF0ZWQgYXQgY29tcGlsZS10aW1lLiBJIHdvdWxkbid0IGV4 cGVjdCB0aGlzIHNvcnQgb2Ygb3B0aW1pemF0aW9uIHRvIHdvcmsuPGJyIC8+ wqA8L2Rpdj5Zb3UgbWlnaHQgaGF2ZSBiZXR0ZXIgbHVjayB3aXRoIGZpcnN0 LWNsYXNzIG1vZHVsZXMgaWYgeW91IHdhbnQgc29tZSBzb3J0IG9mIHR1cGxl IHN1YnR5cGluZy48YnIgLz4oUGVyZm9ybWFuY2UgbW9kZWw6IHdpdGggbW9k dWxlcywgc3VidHlwaW5nIGNvZXJjaW9ucyBhcmUgY29tcGlsZWQgYXMgYSBm aWVsZC1yZW9yZGVyaW5nIGNvcHksPGJyIC8+c28gdGhlIHJ1bnRpbWUgY29z dCBpcyBvbiB0aGUgY29lcmNpb24gcmF0aGVyIHRoYW4gdGhlIGZpZWxkIGFj Y2Vzcy4pPGJyIC8+PGJyIC8+Jmd0OyBBbHNvIGFzIGEgcmVsYXRlZCBxdWVz dGlvbiwgaXMgdGhlcmUgYSB3YXkgdG8gaGF2ZSB0aGUgbG9va3VwIHNlbWFu dGljcyBvZiBtZXRob2RzIHdpdGhvdXQgdGhlIG9wZW4gcmVjdXJzaW9uIHBh cnQ/PGJyIC8+wqA8L2Rpdj5XZSBjb3VsZCBhZGQgcm93LXR5cGVkIGV4dGVu c2libGUgcmVjb3JkcyB0byB0aGUgbGFuZ3VhZ2UuIEdpdmVuIGhvdyBsaXR0 bGUgdGhlIG9iamVjdC1vcmllbnRlZCBsYXllciBpcyB1c2VkIGluIHByYWN0 aWNlLCBJIGFtIG5vdCBzdXJlIHRoYXQgdGhpcyBoaWdobHkgd29yay1kZW1h bmRpbmcgYWRkaXRpb24gd291bGQgYmUgYSBnb29kIHVzZSBvZiBhIGNvbnRy aWJ1dG9yJ3MgdGltZSAtLSBhbmQgaXRzIHV0aWxpdHkgd291bGQgaGF2ZSB0 byBiZSB3ZWlnaHRlZCBhZ2FpbnN0IHRoZSBjb21wbGV4aXR5IGNvc3Qgb2Yg YWRkaW5nIHlldCBhbm90aGVyIGtpbmQgb2YgcHJvZHVjdCBzdHJ1Y3R1cmUu PC9kaXY+PGRpdj7CoDxkaXY+T24gV2VkLCBPY3QgMjUsIDIwMTcgYXQgMTE6 MzEgQU0sIENocmlzdG9waCBIw7ZnZXIgPHNwYW4+Jmx0OzxhIHRhcmdldD0i X2JsYW5rIiBocmVmPSJtYWlsdG86Y2hyaXN0b3BoLmhvZWdlckBjZWxlcmFv bmUuY29tIj5jaHJpc3RvcGguaG9lZ2VyQGNlbGVyYW9uZS5jb208L2E+Jmd0 Ozwvc3Bhbj4gd3JvdGU6PGJsb2NrcXVvdGUgc3R5bGU9Im1hcmdpbjowIDAg MCAwLjhleDtib3JkZXItbGVmdDoxcHggI2NjYyBzb2xpZDtwYWRkaW5nLWxl ZnQ6MWV4OyI+PGRpdj48ZGl2PjxkaXY+PGRpdj48ZGl2PjxkaXY+RGVhciBP Q2FtbCB1c2Vycyw8YnIgLz7CoDwvZGl2PmNvbnNpZGVyIHRoZSBmb2xsb3dp bmcgbWljcm9iZW5jaG1hcms6PC9kaXY+PGRpdj7CoDwvZGl2PjxkaXY+Jmx0 O3NuaXAmZ3Q7PC9kaXY+PGRpdj5jbGFzcyBzICh6IDogc3RyaW5nKcKgICh5 IDogaW50KcKgICh4IDogaW50KSA9PGJyIC8+wqAgb2JqZWN0IG1ldGhvZCB6 ID0geiBtZXRob2QgeSA9IHkgbWV0aG9kIHggPSB4PGJyIC8+ZW5kPGJyIC8+ PGJyIC8+dHlwZSB0ID0geyB4IDogaW50OyB5IDogaW50OyB6IDogc3RyaW5n fTxiciAvPjxiciAvPmxldCBmb29fcyBfID08YnIgLz7CoChuZXcgcykgIkV4 YW1wbGUiIDAgMTxiciAvPjxiciAvPmxldCBmb29fdCBfID0ge3g9MTsgeT0w OyB6PSJFeGFtcGxlIn08YnIgLz48YnIgLz5sZXQgb25lX3MgXyA9IChmb29f cyAoKSkjeDxiciAvPjxiciAvPmxldCBvbmVfdCBfID0gKGZvb190ICgpKS54 PGJyIC8+PGJyIC8+bGV0IGZhYyA9PGJyIC8+wqAgbGV0IHJlYyBmYWMgbiA9 PGJyIC8+wqDCoMKgIGxldCBmID08YnIgLz7CoMKgwqDCoMKgIGxldCByZWMg ZiBuIGEgPSBpZiBuICZsdDs9IDEgdGhlbiBhIGVsc2UgZiAobiAtIChvbmVf cyAoKSkpIChuICogYSnCoCBpbiBmICgqIGNoYW5nZSBvbmVfdCB0byBvbmVf cyBvciB2aWNlLXZlcnNhICopPGJyIC8+wqDCoMKgwqDCoMKgIGluPGJyIC8+ wqDCoMKgIGYgbiAxwqAgaW48YnIgLz7CoCBmYWM8YnIgLz5sZXQgYmVuY2gg PTxiciAvPsKgIGxldCByZWMgYmVuY2ggbiBhID08YnIgLz7CoMKgwqAgaWYg biAmbHQ7PSAwPGJyIC8+wqDCoMKgIHRoZW4gYTxiciAvPsKgwqDCoCBlbHNl IChsZXQgeCA9IGEgJmFtcDsmYW1wOyAoKGZhYyAyMCkgPT0gKDIwICogKGZh YyAxOSkpKcKgIGluIGJlbmNoIChuIC0gMSkgeCnCoCBpbjxiciAvPsKgIGJl bmNoPGJyIC8+bGV0IHRlc3QgPSBiZW5jaCA8c3Bhbj4xMDAwMDAwMDwvc3Bh bj4gdHJ1ZTxiciAvPmxldCBtYWluIF8gPSB0ZXN0PC9kaXY+PGRpdj4mbHQ7 L3NuaXAmZ3Q7PC9kaXY+PGRpdj7CoDwvZGl2PklmIEkgcnVuIGl0IHdpdGgg b2NhbWxvcHQgNC4wNS4wK2ZsYW1iZGEgYW5kIC1PMywgdGhlIHZlcnNpb24g dGhhdCB1c2VzIG9uZV9zIHRha2VzIGFib3V0IDcuNXMgd2hlcmVhcyB0aGUg b25lIHdpdGggb25lX3QgdXNlcyAwLjM1cy4gSSBrbm93IHRoYXQgb2JqZWN0 IG1ldGhvZCBsb29rdXAgaXMgbW9yZSBjb3N0bHkgdGhhbiByZWNvcmRzLCBv ZiBjb3Vyc2UuIFRoaXMgcGFydGljdWxhciBjYXNlIGJhZmZsZXMgbWUsIHRo b3VnaC4gV2h5IGlzIHRoZSBjbGFzcyBub3QgY29tcGxldGVseSBpbmxpbmVk PzxiciAvPsKgPC9kaXY+QWxzbyBhcyBhIHJlbGF0ZWQgcXVlc3Rpb24sIGlz IHRoZXJlIGEgd2F5IHRvIGhhdmUgdGhlIGxvb2t1cCBzZW1hbnRpY3Mgb2Yg bWV0aG9kcyB3aXRob3V0IHRoZSBvcGVuIHJlY3Vyc2lvbiBwYXJ0PyBUaGF0 IGlzLCBjYW4gSSBoYXZlIGEgY2xhc3MgdGhhdCBjb25zaXN0cyBvZiB2YWx1 ZXMsIG5vdCBtZXRob2RzPyBJdCB3b3VsZCBsb3ZlIHRvIGhhdmUgb3BlbiB0 dXBsZXMgaW4gc29tZSBjYXNlcy4gRm9yIGV4YW1wbGUsIEknZCBsaWtlIHRv IHdyaXRlIGEgZnVuY3Rpb24gdGhhdCB0YWtlcyBhIHR1cGxlIG9mIGFueSBs ZW5ndGgsIGJlY2F1c2UgaXQgb25seSBuZWVkcyB0aGUgZmlyc3QgZWxlbWVu dC48YnIgLz7CoDwvZGl2PnRoYW5rcyw8YnIgLz7CoDwvZGl2PkNocmlzdG9w aDxkaXY+PGRpdj48ZGl2PjxkaXY+wqA8L2Rpdj48L2Rpdj48L2Rpdj48L2Rp dj48L2Rpdj48L2Jsb2NrcXVvdGU+PC9kaXY+PC9kaXY+PC9ibG9ja3F1b3Rl Pg==