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 4FC245D4 for ; Thu, 8 Nov 2018 12:57:26 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.54,478,1534802400"; d="scan'208";a="354743682" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 08 Nov 2018 13:57:23 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id 0CD3E82534; Thu, 8 Nov 2018 13:57:24 +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 888A3824E4; Thu, 8 Nov 2018 13:57:17 +0100 (CET) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=wakita@is.titech.ac.jp; spf=None smtp.mailfrom=wakita@is.titech.ac.jp; spf=None smtp.helo=postmaster@mail002.nap.gsic.titech.ac.jp IronPort-PHdr: =?us-ascii?q?9a23=3AXdObPRaMlHQZ2oKcrdgUeW//LSx+4OfEezUN459i?= =?us-ascii?q?sYplN5qZr8+8bnLW6fgltlLVR4KTs6sC17KJ9fi4EUU7or+5+EgYd5JNUxJXwe?= =?us-ascii?q?43pCcHRPC/NEvgMfTxZDY7FskRHHVs/nW8LFQHUJ2mPw6arXK99yMdFQviPgRp?= =?us-ascii?q?OOv1BpTSj8Oq3Oyu5pHfeQpFiCa/bL9oMBm6sRjau9ULj4dlNqs/0AbCrGFSe+?= =?us-ascii?q?RRy2NoJFaTkAj568yt4pNt8Dletuw4+cJYXqr0Y6o3TbpDDDQ7KG81/9HktQPC?= =?us-ascii?q?TQSU+HQRVHgdnwdSDAjE6BH6WYrxsjf/u+Fg1iSWIdH6QLYpUjmk8qxlSgLniD?= =?us-ascii?q?0fOjEl/27Zl8x+gqVZrxyvqBJxwIDUbp+OOfpiZ6PdeM8WRWpdUstTUSFKH4Oy?= =?us-ascii?q?b5EID+oEJetWqpfyp10TphS+HwasB+LvyiNSiXTr2qA73f4uEQLH3Aw8Bd0Dq3?= =?us-ascii?q?XUrM7vOKcOUOC10LfHwinDb/9Mwzjy9JLEchI5ofyVW797bMnfyVE3Gg/YgFic?= =?us-ascii?q?tJbpMy6I2ugTqWSX8uRtWfiyh2I7tQ19uiWjy8kjh4XTm44YyUzI+T9kzIovO9?= =?us-ascii?q?G0VUx2bNi5G5VKrS6aLZF5QsY6TmFopik6zroGtIa+fCcQyZQnwwLTZ+CZf4SS?= =?us-ascii?q?5BLsTv6RLS13hHJ+ebKwmwy+8VShyu3gSMa7zFZKojBfndbQrHwN1QTT5tCGSv?= =?us-ascii?q?t74EihxS6C2x3d5+1ZO0w4iLfXJ4A7zrItmJcfq1nPEjPolEnuia+ZbEQk+uym?= =?us-ascii?q?6+T9ZbXmo4eRNoFuhQH9M6QuhtawDP85MggVRWSb5eW81KH98kLlQLVGlOc5nb?= =?us-ascii?q?XDvJDYPcQXvrS5DBNN0oY/9xa/CC+r38gCknkCKFJJYRaHj4nyO1HSO/34Fve+?= =?us-ascii?q?g1G0kDhx3fzGP7vhAo/MLnfZirvhc6x94VZGyAUv1dBf+45UCrYZLf3vQEDxsd?= =?us-ascii?q?jYAgY9Mwy12ObnFMxx1pkAVmKWH6+WLrjSsUOT6+I0I+iMYZcVtyznJ/gk4f7u?= =?us-ascii?q?l345lkUHcamnx5tEIEy/S/9vJkHcZXv3npIbHH4XsxEiZO3sklyLFzBJNFioWK?= =?us-ascii?q?dpxTw9QL2vDobfT8j5n7WC3TuyNpxNIHxHFl2HETHhfMOGQ6FfO2qpPsZ9n2lc?= =?us-ascii?q?BvCaQIg72ET27V6o+/9cNuPRvxYgm9fm3dlx6ffUkEhtpz1vSdicz2yGTyd9lS?= =?us-ascii?q?UKX21uhfwtkQlG0l6GlJNArblAD9UKuKFISUEmNILRxOw8Atu0WBqTJo7UGmbj?= =?us-ascii?q?ec2vBHQKdvx0w9IKZB0kSdCrjxSbh3DsBbYN0bOQBZdy7qPA0nPxYc92jXTehv?= =?us-ascii?q?Es?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0AjAABmMeRbh2YNcINjHQEBBQEHBQGBU?= =?us-ascii?q?gcBCwGEEoM5P5V7JYkEji6BegGEeAIggw4GBjEMDQEDAQECAQEBAQETAQEBCA0?= =?us-ascii?q?JCCkjDII2IoJjAQICAQwXVgULCQIaAiYCAiE2GYMhgWoDDQiLc5tQgS6FPIJKD?= =?us-ascii?q?SsbgVMJAYEBiwWCAIE4DBOCTIJWgihNgjcxgiYChwsHiGWPIy4JjWuDQ4FXhQG?= =?us-ascii?q?CfIcYjiSGTYREAYIKTTg7KgGCQT6Bd4IkjBAxATEBTI0gAQE?= X-IPAS-Result: =?us-ascii?q?A0AjAABmMeRbh2YNcINjHQEBBQEHBQGBUgcBCwGEEoM5P5V?= =?us-ascii?q?7JYkEji6BegGEeAIggw4GBjEMDQEDAQECAQEBAQETAQEBCA0JCCkjDII2IoJjA?= =?us-ascii?q?QICAQwXVgULCQIaAiYCAiE2GYMhgWoDDQiLc5tQgS6FPIJKDSsbgVMJAYEBiwW?= =?us-ascii?q?CAIE4DBOCTIJWgihNgjcxgiYChwsHiGWPIy4JjWuDQ4FXhQGCfIcYjiSGTYREA?= =?us-ascii?q?YIKTTg7KgGCQT6Bd4IkjBAxATEBTI0gAQE?= X-IronPort-AV: E=Sophos;i="5.54,478,1534802400"; d="scan'208";a="284781503" Received: from mail002.nap.gsic.titech.ac.jp ([131.112.13.102]) by mail3-smtp-sop.national.inria.fr with SMTP; 08 Nov 2018 13:57:15 +0100 Received: from 172.22.40.198 by mail002.nap.gsic.titech.ac.jp with Mail2000 ESMTP Server V7.00(2626:0:AUTH_RELAY) (envelope-from ); Thu, 08 Nov 2018 21:57:07 +0900 (JST) Received: from [131.112.13.103] (mail003.nap.gsic.titech.ac.jp) by drweb01.nap.gsic.titech.ac.jp (Dr.Web MailD 6.0.2.8) with SMTP id 01522D2D; Thu, 08 Nov 2018 21:57:07 Received: from 134.180.1.217 by mail003.nap.gsic.titech.ac.jp with Mail2000 ESMTPA Server V7.00(2565:0:AUTH_LOGIN) (envelope-from ); Thu, 08 Nov 2018 21:57:06 +0900 (JST) Content-Type: text/plain; charset=utf-8 Mime-Version: 1.0 (1.0) From: Ken Wakita X-Mailer: iPhone Mail (16A404) In-Reply-To: <20181108110022.0030F82534@sympa.inria.fr> Date: Thu, 8 Nov 2018 21:57:05 +0900 Cc: caml-list@inria.fr Content-Transfer-Encoding: quoted-printable Message-Id: <282B1919-2F74-4985-BF72-7FAAFCDE8039@is.titech.ac.jp> References: <20181108110022.0030F82534@sympa.inria.fr> To: caml-list-request@inria.fr Subject: Re: [Caml-list] Digest for list caml-list Reply-To: Ken Wakita X-Loop: caml-list@inria.fr X-Sequence: 17125 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: Thanks for your support. I updated the test case. Please give it a try.=20 ken - =F0=9F=9B=B6 2018/11/08 20:00=E3=80=81caml-list-request@inria.fr=E3=81=AE=E3=83=A1=E3=83= =BC=E3=83=AB: > Table of contents: >=20 > 1. [Caml-list] Deprecating -annot - Nicol=C3=A1s Ojeda B=C3=A4r > > 2. [Caml-list] Dynlink plugin reevaluates modules of main program - Fr=C3= =A9d=C3=A9ric > Fort > 3. Re: [Caml-list] Dynlink plugin reevaluates modules of main program - > Gabriel Scherer > 4. Re: [Caml-list] Dynlink plugin reevaluates modules of main program - > Nicol=C3=A1s Ojeda B=C3=A4r >=20 > > > > > --=20 Caml-list mailing list. Subscription management and archives: https://sympa.inria.fr/sympa/arc/caml-list https://inbox.ocaml.org/caml-list Forum: https://discuss.ocaml.org/ Bug reports: http://caml.inria.fr/bin/caml-bugs=