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 B67982DF6 for ; Wed, 6 Mar 2019 04:43:06 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.58,446,1544482800"; d="scan'208";a="372104265" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 06 Mar 2019 05:43:05 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id A607F7F61F; Wed, 6 Mar 2019 05:43:05 +0100 (CET) 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 198BE7F61F for ; Wed, 6 Mar 2019 05:41:24 +0100 (CET) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=vkni@yandex.ru; spf=Pass smtp.mailfrom=vkni@yandex.ru; spf=None smtp.helo=postmaster@forward500j.mail.yandex.net IronPort-PHdr: =?us-ascii?q?9a23=3Apwgw7R+fVcFN8v9uRHKM819IXTAuvvDOBiVQ1KB4?= =?us-ascii?q?1OIcTK2v8tzYMVDF4r011RmVBN2ds6sMotGVmpioYXYH75eFvSJKW713fDhBt/?= =?us-ascii?q?8rmRc9CtWOE0zxIa2iRSU7GMNfSA0tpCnjYgBaF8nkelLdvGC54yIMFRXjLwp1?= =?us-ascii?q?Ifn+FpLPg8it2O2+5oHfbx9UiDagfLh/MAi4oQLNu8cMnIBsMLwxyhzHontJf+?= =?us-ascii?q?RZ22ZlLk+Nkhj/+8m94odt/zxftPw9+cFAV776f7kjQrxDEDsmKWE169b1uhTF?= =?us-ascii?q?UACC+2ETUmQSkhpPHgjF8BT3VYr/vyfmquZw3jSRMNboRr4oRzut86ZrSAfpiC?= =?us-ascii?q?gZMT457HrXgdF0gK5CvR6tuwBzz4vSbYqINvRxY7ndcMsaS2RfXMlRWTFPDYy7?= =?us-ascii?q?YYUBDOQPMvpXopLhp1YMsReyGROhCP/txzJOm3T43bc60+MkEQzewAEgH8oPsG?= =?us-ascii?q?zKo9TtKawfTP66zLHSzTXGdfxW2Sr25Y/WchAip/GMXKl9cMrLxkkpCgzKkFqR?= =?us-ascii?q?pZb/PzOIz+kAtXWQ4el4Ve+3i2MrsQ58rzi1yssxjoTEhZgZxk7E+Cll2Io5O8?= =?us-ascii?q?e3RFJlbdOhEZZfrCKXOo5qTs4nXm1nojg2xaADtJO+YiQG1pIqzAPFZfOdaYiH?= =?us-ascii?q?+BfjWf6RIThmgHJlf6qyhxi18Ui6xOzzTNO030tKoyZZjtXMtGoB1xnJ5ciGTv?= =?us-ascii?q?tx5Eeg1iyJ1w/O9O5FLlo4lazFJJ492rIwl5wTvlrfHiLumEj6lqCbe0U+9uS1?= =?us-ascii?q?7+nqYa/qqoGcOoNokg3+N74hms27AeQ2KAgOWG2b9Pyi1L3g+035Qa5Hj/0sna?= =?us-ascii?q?nfrZ/VO8saqrSjAw9Iyooj8QqwDy+60NQEmnkKNE5KdwiCj4jtIl3OJPH4Deyj?= =?us-ascii?q?g1m3izdqx/XGPqX7DZnXL3jDlq3hfbdn5EJGxgoz14MX25UBKLwbLffyVwfdtd?= =?us-ascii?q?nZCBhxZw652eviCdhV2oIbWGSIRKiDP/WBn0WP47cGIwCUaWZdkjvlMf0s57a6?= =?us-ascii?q?k3w/mHcMdK+l0ItRcm3uTacuGFmQfXe52oRJKmwNpAdrCbWy0ATTAw4WXG67Wu?= =?us-ascii?q?cH3h9+DYunCYnZQYX02e6Q1SG3E40QfH0UUwnQQ0etTJ2NXrI3UAzXOtVoy2VW?= =?us-ascii?q?RLGnR4Ixkwuz5lejluhXa9HM8yhdjqrNkdh44+qJxEM88iZrBt6RjjnVTSdxl2?= =?us-ascii?q?IMAS4/2qxysQp7x0vRiaU=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DLAQBQTn9ch/rGLQVkGwEBAQEDAQEBB?= =?us-ascii?q?wMBAQGBZYE9UIFuJ4ZZnD4iaIRjgyyHZg0shEAChCwaBwEENBIBAQMBAQMBAwE?= =?us-ascii?q?BARMBAQEIDQkIKSMMgjopAYJnBkABATcBDwtGVwaDNYFdAQMWA6oXgiCCeAEBB?= =?us-ascii?q?YQ8AUoDgRqBBgiBL4ZkhEUXgX+BV4Eodi6KYpE3OJIgCYN6jxyBZQGJKYgcnT6?= =?us-ascii?q?BXoF3fwY7gmyCChqJa4Q/PTKBAggBHROPWgEB?= X-IPAS-Result: =?us-ascii?q?A0DLAQBQTn9ch/rGLQVkGwEBAQEDAQEBBwMBAQGBZYE9UIF?= =?us-ascii?q?uJ4ZZnD4iaIRjgyyHZg0shEAChCwaBwEENBIBAQMBAQMBAwEBARMBAQEIDQkIK?= =?us-ascii?q?SMMgjopAYJnBkABATcBDwtGVwaDNYFdAQMWA6oXgiCCeAEBBYQ8AUoDgRqBBgi?= =?us-ascii?q?BL4ZkhEUXgX+BV4Eodi6KYpE3OJIgCYN6jxyBZQGJKYgcnT6BXoF3fwY7gmyCC?= =?us-ascii?q?hqJa4Q/PTKBAggBHROPWgEB?= X-IronPort-AV: E=Sophos;i="5.58,446,1544482800"; d="scan'208";a="298252217" Received: from forward500j.mail.yandex.net ([5.45.198.250]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 06 Mar 2019 05:41:23 +0100 Received: from mxback8o.mail.yandex.net (mxback8o.mail.yandex.net [IPv6:2a02:6b8:0:1a2d::22]) by forward500j.mail.yandex.net (Yandex) with ESMTP id 7CE7B11C1238; Wed, 6 Mar 2019 07:41:21 +0300 (MSK) Received: from unknown (unknown [::1]) by mxback8o.mail.yandex.net (nwsmtp/Yandex) with ESMTP id 618w1T4XfH-fKweLxBQ; Wed, 06 Mar 2019 07:41:20 +0300 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=yandex.ru; s=mail; t=1551847280; bh=BiZg3Ubv8WyBSmDvo6DEBWBulNERgSI2XWn9uR9p4hw=; h=Message-Id:Cc:Subject:In-Reply-To:Date:References:To:From; b=BhlNVlUl8tC4s2JNkLcNecW9ilAU0vlWBzSBinYhFnogpV1TQPZi5t23DT7mQYrOn AYYBuXPBGuvKwi2Q9WBb82QXqXymbpwwVlxfL7uvXMqUiP9vs2ilrTpbqwDVpavBIa +pL1SnbH9LFa5K3nxZxLPKBc8NyP0qyYpXeYoeMU= Received: by sas1-512a5b2b1037.qloud-c.yandex.net with HTTP; Wed, 06 Mar 2019 07:41:20 +0300 From: =?utf-8?B?0JDQvdC00YDQtdC5INCR0LXRgNCz0LzQsNC9?= To: Jeremie Dimino Cc: caml-list@inria.fr In-Reply-To: References: MIME-Version: 1.0 X-Mailer: Yamail [ http://yandex.ru ] 5.0 Date: Wed, 06 Mar 2019 07:41:20 +0300 Message-Id: <26607091551847280@sas1-512a5b2b1037.qloud-c.yandex.net> Content-Transfer-Encoding: 7bit Content-Type: text/plain X-Validation-by: vkni@yandex.ru Subject: Re: [Caml-list] The vmthreads library is deprecated in OCaml 4.08 Reply-To: =?utf-8?B?0JDQvdC00YDQtdC5INCR0LXRgNCz0LzQsNC9?= X-Loop: caml-list@inria.fr X-Sequence: 17383 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: Is it possible to develop multithread applications in Ocaml somehow in Linux?