From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <mail@matej-kosik.net>
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 02B618239C
	for <caml-list@sympa.inria.fr>; Mon, 12 Mar 2018 10:09:17 +0100 (CET)
Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=mail@matej-kosik.net; spf=SoftFail smtp.mailfrom=mail@matej-kosik.net; spf=SoftFail smtp.helo=postmaster@matej-kosik.net
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  mail@matej-kosik.net) identity=pra; client-ip=145.239.83.105;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="mail@matej-kosik.net";
  x-sender="mail@matej-kosik.net";
  x-conformance=sidf_compatible
Received-SPF: SoftFail (mail2-smtp-roc.national.inria.fr: domain
  of mail@matej-kosik.net is inclined to not designate
  145.239.83.105 as permitted sender) identity=mailfrom;
  client-ip=145.239.83.105;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="mail@matej-kosik.net";
  x-sender="mail@matej-kosik.net";
  x-conformance=sidf_compatible; x-record-type="v=spf1"
Received-SPF: SoftFail (mail2-smtp-roc.national.inria.fr: domain
  of postmaster@matej-kosik.net is inclined to not designate
  145.239.83.105 as permitted sender) identity=helo;
  client-ip=145.239.83.105;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="mail@matej-kosik.net";
  x-sender="postmaster@matej-kosik.net";
  x-conformance=sidf_compatible; x-record-type="v=spf1"
IronPort-PHdr: =?us-ascii?q?9a23=3AvL9vWRdQ9NinU+xgqis4RZW3lGMj4u6mDksu8pMi?=
 =?us-ascii?q?zoh2WeGdxcu9Yh7h7PlgxGXEQZ/co6odzbaO6Oa4ASQp2tWoiDg6aptCVhsI24?=
 =?us-ascii?q?09vjcLJ4q7M3D9N+PgdCcgHc5PBxdP9nC/NlVJSo6lPwWB6nK94iQPFRrhKAF7?=
 =?us-ascii?q?Ovr6GpLIj8Swyuu+54Dfbx9HiTahb75+Ngm6oRnMvcQKnIVuLbo8xAHUqXVSYe?=
 =?us-ascii?q?RWwm1oJVOXnxni48q74YBu/SdNtf8/7sBMSar1cbg2QrxeFzQmLns65Nb3uhnZ?=
 =?us-ascii?q?TAuA/WUTX2MLmRdVGQfF7RX6XpDssivms+d2xSeXMdHqQb0yRD+t6LtmRRHqhS?=
 =?us-ascii?q?oJLjI17G7agdF0gK9bvB6tohpyyJPWbo6ILvpzZr7Tc80URWRBXchfWSJODYy+?=
 =?us-ascii?q?YIQTAOQMJvpYoovnqlcSsRezCwuhCeXywTFInH/22qg63vwmHw7cwAwvAdAOu2?=
 =?us-ascii?q?nRotXyO6QVT+O1x7TPwDXGdfxW2DP95ZPNch87vfGDQ7BwfdPSyUkoDAPFj1aQ?=
 =?us-ascii?q?pZbjPzyLyuQAqm6W5PduW+Kojm4osQBxoj63y8ctjInJnIMVxUre+SV32oY4I8?=
 =?us-ascii?q?CzRk1jYdO8DZdduCGXO5FoTs4sR2xkoiU3x7MctZKmYCQHyIwryhrfZvCdboSE?=
 =?us-ascii?q?/gzvWPyPLTp3in9pYqyzihiu/UWm1+byTNO70ExQoSpAitTMtm4C1xjU6sWfT/?=
 =?us-ascii?q?ty5Fuh1iiN1wzK6eFEJls0lavYK5I7xL4/iIYTvVzCHi/whkr2kLebelgr9+Wo?=
 =?us-ascii?q?8ejrfLvrq5uGO4J3hAzyKLkiltC/DOggNwgBRWmb+eCy1L35+k35Ra1Hjvgsna?=
 =?us-ascii?q?nYtJDXPsEbqbSlAwBL0IYv8hW/DzC90NQZnnkLNlRFdwybj4TxIVHBPOj4Deuj?=
 =?us-ascii?q?g1SriDpk2+rJPrjlApnUKnjDkazhfapm5k5HyAszyMhf6IhOBrEAJvLzQE7xu8?=
 =?us-ascii?q?bCAh83KQzni9rgXd5004dbXWOUHoeYNrnTuBmG/LEBOe6JMaocpDv/Y9siFXvt?=
 =?us-ascii?q?xSs8kF4ZVaygwZYVLXO/BfVlZUOUfSy/0Z86DW4Ws19mH6TRg1qYXGsOPy/jDZ?=
 =?us-ascii?q?J53SkyDcedNamGQ4mshLKb2yLiQc9Tb3xLCBWPFmzpdMOCVuteM3vOcP8kqSQN?=
 =?us-ascii?q?UP2ac6FkzQun7VCozrN7I+iR+SoDtJGl0tVptbWKyEMCsAdsBsHY6FmjCmF5mm?=
 =?us-ascii?q?RRGG0z1bxyowl+zUyC0u5+juAKTtE=3D?=
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DtogDQQqZa/2lT75FDGhwBAQEEAQEKA?=
 =?us-ascii?q?QGDUGYDbCiDUIsSjk40gRaUM4IULYUCAoMUHQkFNA8BAgEBAQEBAQEBAWonQgE?=
 =?us-ascii?q?ECQGBZwwMglQBBAEjWwsLGgImAgJXEwgBAYUMDAsyqwuCJoRvg0YnghUFgQ2EK?=
 =?us-ascii?q?IMCgxGDBYMuBBmCIoI8gmIEmlYJhkOKGYFaAYc3hVaJeYh7SAMLgVJ7CjqCRIR?=
 =?us-ascii?q?HdgGCM4QrhxYBAQE?=
X-IPAS-Result: =?us-ascii?q?A0DtogDQQqZa/2lT75FDGhwBAQEEAQEKAQGDUGYDbCiDUIs?=
 =?us-ascii?q?Sjk40gRaUM4IULYUCAoMUHQkFNA8BAgEBAQEBAQEBAWonQgEECQGBZwwMglQBB?=
 =?us-ascii?q?AEjWwsLGgImAgJXEwgBAYUMDAsyqwuCJoRvg0YnghUFgQ2EKIMCgxGDBYMuBBm?=
 =?us-ascii?q?CIoI8gmIEmlYJhkOKGYFaAYc3hVaJeYh7SAMLgVJ7CjqCRIRHdgGCM4QrhxYBA?=
 =?us-ascii?q?QE?=
X-Spam-Status: Yes
X-IronPort-AV: E=Sophos;i="5.47,460,1515452400"; 
   d="scan'208";a="317499384"
Received: from 105.ip-145-239-83.eu (HELO matej-kosik.net) ([145.239.83.105])
  by mail2-smtp-roc.national.inria.fr with ESMTP; 12 Mar 2018 10:09:16 +0100
Received: from [192.168.1.11] (adsl-dyn-230.95-102-243.t-com.sk [95.102.243.230])
	by matej-kosik.net (Postfix) with ESMTPSA id 678F8226F3
	for <caml-list@inria.fr>; Mon, 12 Mar 2018 10:09:15 +0100 (CET)
To: caml-list@inria.fr
References: <ed108bf8-ee82-aa94-489b-b749140269c5@matej-kosik.net>
 <97fc418b-c016-7a7f-77ae-3823bf4b8a12@matej-kosik.net>
 <CADK7aFNB617x3CS2BFd44=kfD4-Jp8903vcZotducBHrkrBqBQ@mail.gmail.com>
 <80BFB738-5A8C-4009-8EBC-5C2EB0B742B6@math.nagoya-u.ac.jp>
From: =?UTF-8?B?TWF0ZWogS2/FocOtaw==?= <mail@matej-kosik.net>
Openpgp: id=1CD41D0A52319DC7ABC1B79F50AFFA128CE48649;
 url=http://matej-kosik.net/doc/kosik.asc
Message-ID: <c0e7d4cf-5e2d-1dc5-edca-690869bfd1c6@matej-kosik.net>
Date: Mon, 12 Mar 2018 10:09:14 +0100
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:52.0) Gecko/20100101
 Thunderbird/52.6.0
MIME-Version: 1.0
In-Reply-To: <80BFB738-5A8C-4009-8EBC-5C2EB0B742B6@math.nagoya-u.ac.jp>
Content-Type: text/plain; charset=utf-8
Content-Language: en-US
Content-Transfer-Encoding: 7bit
Subject: Re: [Caml-list] a question about Ocaml toplevel behavior

On 03/12/18 09:50, Jacques Garrigue wrote:

> Can somebody open a PR on Mantis?

Done:

  https://caml.inria.fr/mantis/view.php?id=7751