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 0122A7EE89 for ; Wed, 25 Oct 2017 17:23:17 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=vadim@radovel.ru; spf=Pass smtp.mailfrom=vadim@radovel.ru; spf=None smtp.helo=postmaster@forward2o.cmail.yandex.net Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of vadim@radovel.ru) identity=pra; client-ip=37.9.109.243; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="vadim@radovel.ru"; x-sender="vadim@radovel.ru"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of vadim@radovel.ru designates 37.9.109.243 as permitted sender) identity=mailfrom; client-ip=37.9.109.243; receiver=mail2-smtp-roc.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 (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@forward2o.cmail.yandex.net) identity=helo; client-ip=37.9.109.243; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="vadim@radovel.ru"; x-sender="postmaster@forward2o.cmail.yandex.net"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3ACCeShxxJO5KjhBHXCy+O+j09IxM/srCxBDY+r6Qd?= =?us-ascii?q?0e4TIJqq85mqBkHD//Il1AaPBtqLra8cw8Pt8IneGkU4qa6bt34DdJEeHzQksu?= =?us-ascii?q?4x2zIaPcieFEfgJ+TrZSFpVO5LVVti4m3peRMNQJW2TxTor3az9T8fHAnkfUow?= =?us-ascii?q?f7ytW92as8Pi/uS7+pubTR9JnzG9Ked7KBy3qy3frMgNioskJLxnjlPovHJOM8?= =?us-ascii?q?tR2WR2LlKSgw20ssau87Zi/ild/fU7+JgEGYLRdqE8BZlRDTAnNW99wMzwqVGX?= =?us-ascii?q?RgKK4j4YU34KuhtOGQnMqh/gCMTfqCz/4/R01CifFdf/QbcqVDDk9bo4G1fTlC?= =?us-ascii?q?4bOmthoynsgctqgfce+Ur5qg=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DCCwApq/BZe/NtCSVbGwEBAQMBAQEJA?= =?us-ascii?q?QEBFQEBAQECAQEBAQgBAQEBglURS4FVJ4N6gxaHC48JknKFQ4IQCoU7AggSB4R?= =?us-ascii?q?MSg0BAQEBAQEBAQEBARIBAQkNCgcoL4I4BQEeAQWCPAYjEQwBATcBDwsEARUCJ?= =?us-ascii?q?gICAlUGARKKIQOoVmuCJ4MIAQEFh2sBAQEBAQEBAQEBAQEBAQEBAQEBAQEVCIE?= =?us-ascii?q?Pgh+BNlGGY4Q/Rg0HAQIGgneCYZFWgQ+PE5R3kyaWAYE5TYFlgQlPgmSCTYIVc?= =?us-ascii?q?4lVYIFVAQEB?= X-IPAS-Result: =?us-ascii?q?A0DCCwApq/BZe/NtCSVbGwEBAQMBAQEJAQEBFQEBAQECAQE?= =?us-ascii?q?BAQgBAQEBglURS4FVJ4N6gxaHC48JknKFQ4IQCoU7AggSB4RMSg0BAQEBAQEBA?= =?us-ascii?q?QEBARIBAQkNCgcoL4I4BQEeAQWCPAYjEQwBATcBDwsEARUCJgICAlUGARKKIQO?= =?us-ascii?q?oVmuCJ4MIAQEFh2sBAQEBAQEBAQEBAQEBAQEBAQEBAQEVCIEPgh+BNlGGY4Q/R?= =?us-ascii?q?g0HAQIGgneCYZFWgQ+PE5R3kyaWAYE5TYFlgQlPgmSCTYIVc4lVYIFVAQEB?= X-IronPort-AV: E=Sophos;i="5.43,432,1503352800"; d="scan'208,217";a="297887149" Received: from forward2o.cmail.yandex.net ([37.9.109.243]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 25 Oct 2017 17:23:16 +0200 Received: from mxback6j.mail.yandex.net (mxback6j.mail.yandex.net [IPv6:2a02:6b8:0:1619::10f]) by forward2o.cmail.yandex.net (Yandex) with ESMTP id CB76A21256; Wed, 25 Oct 2017 18:23:14 +0300 (MSK) Received: from web13g.yandex.ru (web13g.yandex.ru [2a02:6b8:0:1402::23]) by mxback6j.mail.yandex.net (nwsmtp/Yandex) with ESMTP id qHVkuUKhQ5-NDrqmtFc; Wed, 25 Oct 2017 18:23:13 +0300 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=radovel.ru; s=mail; t=1508944993; bh=+kWSl//mrQImVo4cwN01/dW4PEHJm4syVcpAMIg6VfU=; h=From:To:Cc:In-Reply-To:References:Subject:Message-Id:Date; b=YUVTPy/QxB6OgTNVm/jG4whjW2chAHr518zmyoe390VEg5gh/yAlrMofY9d6Pj5qV OjMu/tvPwy4f0RcfP80IMQ2urIHIV/HvNzqpNkwMhb12M6+zRbmSFGbNTZXuV+xvVq 1sgEmSxqLI8/qZWXuRnOj7cX0hq1p2QH5EKWQJR4= Received: by web13g.yandex.ru with HTTP; Wed, 25 Oct 2017 18:23:13 +0300 From: vadim@radovel.ru To: Alain Frisch , Ivan Gotovchits , OCaml Mailing List Cc: Gabriel Scherer , =?utf-8?B?Q2hyaXN0b3BoIEjDtmdlcg==?= In-Reply-To: <3e0f1001-b730-18b2-670d-cec4e0e89ef4@frisch.fr> References: <341271508938027@web34g.yandex.ru> <572961508942152@web13g.yandex.ru> <3e0f1001-b730-18b2-670d-cec4e0e89ef4@frisch.fr> MIME-Version: 1.0 Message-Id: <735751508944993@web13g.yandex.ru> X-Mailer: Yamail [ http://yandex.ru ] 5.0 Date: Wed, 25 Oct 2017 18:23:13 +0300 Content-Transfer-Encoding: base64 Content-Type: text/html; charset=utf-8 Subject: Re: [Caml-list] classes not optimized? PGRpdj5UaGFuayB5b3UgZm9yIGV4cGxhbmF0aW9uLiA6KTwvZGl2PjxkaXY+ wqA8L2Rpdj48ZGl2PjI1LjEwLjIwMTcsIDE4OjEyLCAiQWxhaW4gRnJpc2No IiAmbHQ7YWxhaW5AZnJpc2NoLmZyJmd0Ozo8L2Rpdj48YmxvY2txdW90ZSB0 eXBlPSJjaXRlIj48cD5PbiAyNS8xMC8yMDE3IDE2OjM1LCA8YSBocmVmPSJt YWlsdG86dmFkaW1AcmFkb3ZlbC5ydSI+dmFkaW1AcmFkb3ZlbC5ydTwvYT4g d3JvdGU6PC9wPjxibG9ja3F1b3RlPsKgSXZhbiwgdGhhbmsgeW91IGZvciBh bnN3ZXIuPGJyIC8+wqBEbyB5b3UgbWVhbiwgdGhhdCBpbiB0aGUgZm9sbG93 aW5nIGV4YW1wbGUgbWV0aG9kIGlzPGJyIC8+wqByZXNvbHZlZChkaXNwYXRj aGVkPykgYXQgY29tcGlsZSB0aW1lPzwvYmxvY2txdW90ZT48cD48YnIgLz5D YWxsaW5nIE0ubWV0aG9kX2Egd2lsbCBzdGlsbCBiZSBhbiBpbmRpcmVjdCBm dW5jdGlvbiBjYWxsICh0byBhPGJyIC8+ZnVuY3Rpb24gdW5rbm93biBhdCBj b21waWxlLXRpbWUpLiBCdXQgYWNjZXNzaW5nIHRoZSBjbG9zdXJlIChhbmQg dGhlPGJyIC8+Y29kZSBwb2ludGVyIGluIGl0KSB3aWxsIGJlIGRvbmUgYnkg c2ltcGxlIGxvb2t1cHM6IGVhY2ggZmlyc3QgY2xhc3M8YnIgLz5tb2R1bGUg d2lsbCBiZSByZXByZXNlbnRlZCBhcyBhIGJsb2NrIGhvbGRpbmcgb25lIHZh bHVlICh0aGUgY2xvc3VyZSkuPGJyIC8+PGJyIC8+V2l0aCBvYmplY3RzLCBl YWNoIG1ldGhvZCBpbnZvY2F0aW9uIG5lZWRzIHRvIGRvIHNvbWUgZHluYW1p YyBsb29rdXAgdG88YnIgLz5maW5kIHRoZSBtZXRob2QgaW4gYSB0YWJsZSAo aW5kZXhlZCBieSBhbiBpbnRlZ2VyIHJlcHJlc2VudGluZyB0aGU8YnIgLz5t ZXRob2QgbmFtZSkuIEEgY2FjaGUgbWVjaGFuaXNtIGV4aXN0cyBhbmQgbWFr ZXMgdGhlIGxvb2t1cCBvZnRlbjxiciAvPnJlYXNvbmFibHkgZmFzdCwgYnV0 IG9mIGNvdXJzZSBzdGlsbCBzbG93ZXIgdGhhbiBqdXN0IGZvbGxvd2luZyBh PGJyIC8+cG9pbnRlciBhdCBhIGtub3duIGxvY2F0aW9uLjxiciAvPjxiciAv PjxiciAvPi0tIEFsYWluPC9wPjwvYmxvY2txdW90ZT4=