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 C9E675D4 for ; Wed, 20 Jun 2018 13:36:34 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.51,247,1526335200"; d="scan'208";a="332596874" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 20 Jun 2018 15:36:33 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id BE32F8249F; Wed, 20 Jun 2018 15:36:33 +0200 (CEST) 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 E7EAB82487 for ; Wed, 20 Jun 2018 15:36:26 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=rich@annexia.org; spf=Pass smtp.mailfrom=rich@annexia.org; spf=Pass smtp.helo=postmaster@annexia.org IronPort-PHdr: =?us-ascii?q?9a23=3AJskcMBSrm14r0MvXNz+8BUwbctpsv+yvbD5Q0YIu?= =?us-ascii?q?jvd0So/mwa6yYRWN2/xhgRfzUJnB7Loc0qyK6/2mATRIyK3CmUhKSIZLWR4BhJ?= =?us-ascii?q?detC0bK+nBN3fGKuX3ZTcxBsVIWQwt1Xi6NU9IBJS2PAWK8TW94jEIBxrwKxd+?= =?us-ascii?q?KPjrFY7OlcS30P2594HObwlSizexfbN/IA+qoQnNq8IbnZZsJqEtxxXTv3BGYf?= =?us-ascii?q?5WxWRmJVKSmxbz+MK994N9/ipTpvws6ddOXb31cKokQ7NYCi8mM30u683wqRbD?= =?us-ascii?q?VwqP6WACXWgQjxFFHhLK7BD+Xpf2ryv6qu9w0zSUMMHqUbw5Xymp4rx1QxH0li?= =?us-ascii?q?gIKz858HnWisNuiqJbvAmhrAF7z4LNfY2ZKOZycqbbcNgHR2ROQ9xRWjRPDI28?= =?us-ascii?q?cYUBEukPPehXoIbhulQAohmxCge3CePzyTJFnGP60bEg3ug8FwzNwQwuH8gJsH?= =?us-ascii?q?TRtNj5OrscUeGpw6nI1zrDde5Z0ir954TSdR4tu+yHU7Z3ccrX10YvDA3JhUiX?= =?us-ascii?q?pIz/PjOayuQNvnOB4OpmU+KglWEmqwBrrTS1wccskIbJi5sTx1vZ+yt5x4M1Ks?= =?us-ascii?q?e5SE59edOkH5pQtz2aN4trWcwuWX1nuCE/yrAApJW1fzAKxYwkyhLDcfCKcouF?= =?us-ascii?q?7gjnWeqMOzt0mXBodbO5ih2v60av0Pf8WdOx0FtSripKjN3MtncV2hPJ7MiHTO?= =?us-ascii?q?Vy/0ig2TmVzQzT7ftEIU8smaraLZ4u3KIwm4IQvEjfBCP7mUb7gLWSe0k54OSk?= =?us-ascii?q?9ubqb7T+qp+ZLYB0iwX+Mqo0msy4BOQ1KhIOX2mH9uS8z7Ds50v5QLNUgfw5k6?= =?us-ascii?q?nWqorWJcMBpq62GwNVyJos6w6jDze619QVhXYHLElZdxKHkYfpIU/BIOrjAPa+?= =?us-ascii?q?glSslSxkx+rcMbH7A5XNKGLDkLb7crpn5U5c0hI5zcpD6JJMFrEBPPXzV1ftu9?= =?us-ascii?q?PCCx85NxW4w+LmCNVmyoMTQnmPA6+cMKPKq1CE/OMvI++WZI8UojnxMfYl5+S9?= =?us-ascii?q?xUM+zHkcdq6tVIAgT3K1Ev1RCcmDKS7qg9wGFW4R+A08QeDjzleLSxZXamazUa?= =?us-ascii?q?N67TY+XtGIF4DGE8qXgbeB1T23VqIQQyYOKFeKHGyiP9GeWvwMQCuUJMJxkzVC?= =?us-ascii?q?UqKuHdxynSqyvRP3nuI0ZtHf/TcV4Ne6jIAstr/j0Coq/DkxNPyzlmSETmV6hG?= =?us-ascii?q?QNHmRk1aZ5rFx8wxGEy6cq2qUER+wW3OtAV0IBDbCZ1/ZzUougUwTHc8eIQRCh?= =?us-ascii?q?WNr0WWhsHOJ0+McHZgNGI/vnjh3H2HPxUbYTkbGbBZVy9bjTjSH8?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0B3BwAkVypb/7BbRFBbHAEBAQQBAQoBA?= =?us-ascii?q?YNJYn+YZU0GgS+DapMPCx8MAYRAAoJ3GgYBBDQUAQIBAQEBAQEBAQFsHAyCNSQ?= =?us-ascii?q?Bgk8BBTIBRhALGAkTEg8tGwaDOYFyEQuuGYRbg25oBYhUEXs+SYQbgxgChzYCm?= =?us-ascii?q?SQHAgKFe4kIgTwBjA+KHYdCgVghgVJ9CDuCaIV8ilM+gSgBjnABAQ?= X-IPAS-Result: =?us-ascii?q?A0B3BwAkVypb/7BbRFBbHAEBAQQBAQoBAYNJYn+YZU0GgS+?= =?us-ascii?q?DapMPCx8MAYRAAoJ3GgYBBDQUAQIBAQEBAQEBAQFsHAyCNSQBgk8BBTIBRhALG?= =?us-ascii?q?AkTEg8tGwaDOYFyEQuuGYRbg25oBYhUEXs+SYQbgxgChzYCmSQHAgKFe4kIgTw?= =?us-ascii?q?BjA+KHYdCgVghgVJ9CDuCaIV8ilM+gSgBjnABAQ?= X-IronPort-AV: E=Sophos;i="5.51,247,1526335200"; d="scan'208";a="269411593" Received: from annexia.org ([80.68.91.176]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES256-GCM-SHA384; 20 Jun 2018 15:36:26 +0200 Received: from rich by annexia.org with local (Exim 4.89) (envelope-from ) id 1fVdHd-0005R8-1K; Wed, 20 Jun 2018 14:36:25 +0100 Date: Wed, 20 Jun 2018 14:36:24 +0100 From: "Richard W.M. Jones" To: =?iso-8859-1?Q?Nicol=E1s_Ojeda_B=E4r?= Cc: gabriel.scherer@inria.fr, OCaml Mailing List , ygrek@autistici.org Message-ID: <20180620133624.pkjiureokwjrjerj@annexia.org> References: <20180620133051.kb7oa5osyqq2kzp6@annexia.org> MIME-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Disposition: inline Content-Transfer-Encoding: 8bit In-Reply-To: User-Agent: NeoMutt/20170113 (1.7.2) Subject: Re: [Caml-list] OCaml 4.07.0+rc1 Reply-To: "Richard W.M. Jones" X-Loop: caml-list@inria.fr X-Sequence: 16955 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: On Wed, Jun 20, 2018 at 03:34:59PM +0200, Nicolás Ojeda Bär wrote: > Hi Rich, > > Indeed, the filename part is now mandatory. Tools that emit directives > without filenames need to be adapted. > > See https://github.com/ocaml/ocaml/pull/931 for more info. Fair enough :-) Thanks, Rich. -- Caml-list mailing list. Subscription management and archives: https://sympa.inria.fr/sympa/arc/caml-list Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs