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 ESMTP id 717095D4 for ; Fri, 6 Jul 2018 09:05:47 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.51,315,1526335200"; d="asc'?scan'208";a="336333093" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 06 Jul 2018 11:05:44 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id E7586824B4; Fri, 6 Jul 2018 11:05:43 +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 2A2EB82486 for ; Fri, 6 Jul 2018 11:04:29 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=tim@tbrk.org; spf=PermError smtp.mailfrom=tim@tbrk.org; spf=Pass smtp.helo=postmaster@gateway23.websitewelcome.com IronPort-PHdr: =?us-ascii?q?9a23=3Ai0Wnqh3GK8/y6lBhsmDT+DRfVm0co7zxezQtwd8Z?= =?us-ascii?q?seIXLPad9pjvdHbS+e9qxAeQG9mDtbQc06L/iOPJYSQ4+5GPsXQPItRndiQuro?= =?us-ascii?q?EopTEmG9OPEkbhLfTnPGQQFcVGU0J5rTngaRAGUMnxaEfPrXKs8DUcBgvwNRZv?= =?us-ascii?q?JuTyB4Xek9m72/q99pHPYghEniaxba9vJxiqsAvdsdUbj5F/Iagr0BvJpXVIe+?= =?us-ascii?q?VSxWx2IF+Yggjx6MSt8pN96ipco/0u+dJOXqX8ZKQ4UKdXDC86PGAv5c3krgfM?= =?us-ascii?q?QA2S7XYBSGoWkx5IAw/Y7BHmW5r6ryX3uvZh1CScIMb7Vq4/Vyi84Kh3SR/okC?= =?us-ascii?q?YHOCA/8GHLkcx7kaZXrAu8qxBj34LYZYeYP+d8cKzAZ9MXXWRPUMZPWSJcAY28?= =?us-ascii?q?YYQAAPYcMulaoYbwvFQOoQekCAS2GO/i0CFEi3nr1qM6yeQhFgTG0RQ+EdIPtX?= =?us-ascii?q?TUq8n1NKcSUOuo0aTIyijDb+lV2Tjj9YPFdQwhofCJXb9rbcre0lMvFwDfglWX?= =?us-ascii?q?s4zlMCqY2+IQuGaV6OpgUPigi28hqwxprTivx9ssionUho0O0FzL6SJ5wIMzKN?= =?us-ascii?q?alS0B7ecapHIZUui2ELYd6X8AvTmFytCs61rEKo4O3cSsKxZg/2hLTdfiKf5KV?= =?us-ascii?q?7h/nUOudOyp0iX1hdb6lmhq/9Umtx+vhXceuyllKtDBKktzUu3ANyRPT7s+HR+?= =?us-ascii?q?Ny/ki7xTaAyQ7S5ftEIEwqm6fXMZAgzaArmZoIsETDAjH5mUvog6+Sakok/e2o?= =?us-ascii?q?5Pr9brr6oZ+cMpd4igD4MqswhsyyGfk0PwwQU2SB5Oix173u8Vf5TblWlPE6j6?= =?us-ascii?q?rUvZDCKcQevKG5AgtV0og56xa4CjeryMgYnXgCLF9eZBKIlJLpO1LULPD/F/e/?= =?us-ascii?q?jEygkC13yPDeIr3hHpLNI2Dfn7j7eLZ971dQyA4yzdBE+5JZEaoBIfL2Wk/prt?= =?us-ascii?q?PUFB45Mwquw+bmEtpxzI0eWXjcSpOeZYzbu0WJ6+ZnGOKMaZUYon6pJPEv/f/j?= =?us-ascii?q?iTkikl8QZ6Sz9ZQSYXG8WP9hJhPKT2Drh4I9EGINogovBMbtlUeBXHYHe3e3d7?= =?us-ascii?q?42/DJ9D5ipW9SQDruxiaCMiX/oVqZdYXpLXxXVSS+xJte0HswUYSfXGfdP1zkN?= =?us-ascii?q?VLyvUYgkjEn8qAXgyPxgNOWGpHRE56Km78B84qjorT937SZ9VpzPz2uXTCdzhG?= =?us-ascii?q?xaH2ZrjpA6mlR0zxK46YY9g/FcEocLtfxATgolPI+GlKplBtrpWx7MYdqNQ1Gj?= =?us-ascii?q?T5OtBjRjF98=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DSAADM+T5bgLkyucBcHQEBBQELAYQrf?= =?us-ascii?q?yiLfow1jnKIRYF6CAMjCYRAAoItGgcBAzAYAQIBAQIBAQEBARMBAQkNCQgnJQy?= =?us-ascii?q?CNSQBgl0DA0ABATcBDwshJQ8dKwaDNIFyDQUKqCeDCoJxAQEFhVeBMgMFIohLV?= =?us-ascii?q?IE7BoNwLoMYAoc2mVEJhgaJEYE9hmCFRoo1h1aBQYIKMxoIKAg7gmmCGDSDNIU?= =?us-ascii?q?UhUBtdx4NjjABAQ?= X-IPAS-Result: =?us-ascii?q?A0DSAADM+T5bgLkyucBcHQEBBQELAYQrfyiLfow1jnKIRYF?= =?us-ascii?q?6CAMjCYRAAoItGgcBAzAYAQIBAQIBAQEBARMBAQkNCQgnJQyCNSQBgl0DA0ABA?= =?us-ascii?q?TcBDwshJQ8dKwaDNIFyDQUKqCeDCoJxAQEFhVeBMgMFIohLVIE7BoNwLoMYAoc?= =?us-ascii?q?2mVEJhgaJEYE9hmCFRoo1h1aBQYIKMxoIKAg7gmmCGDSDNIUUhUBtdx4NjjABA?= =?us-ascii?q?Q?= X-IronPort-AV: E=Sophos;i="5.51,315,1526335200"; d="asc'?scan'208";a="272113890" Received: from gateway23.websitewelcome.com ([192.185.50.185]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 06 Jul 2018 11:04:21 +0200 Received: from cm15.websitewelcome.com (cm15.websitewelcome.com [100.42.49.9]) by gateway23.websitewelcome.com (Postfix) with ESMTP id 9370641F7 for ; Fri, 6 Jul 2018 04:04:18 -0500 (CDT) Received: from box5506.bluehost.com ([162.241.217.195]) by cmsmtp with SMTP id bMegfOvrdbXuJbMeufYuDV; Fri, 06 Jul 2018 04:04:18 -0500 X-Authority-Reason: nr=8 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=tbrk.org; s=default; h=In-Reply-To:Content-Type:MIME-Version:References:Message-ID: Subject:Cc:To:From:Date:Sender:Reply-To:Content-Transfer-Encoding:Content-ID: Content-Description:Resent-Date:Resent-From:Resent-Sender:Resent-To:Resent-Cc :Resent-Message-ID:List-Id:List-Help:List-Unsubscribe:List-Subscribe: List-Post:List-Owner:List-Archive; bh=YtqEdi98nJlU8H/ENa3PNOu0X6kpYaoatdtj9jRw3JU=; b=kdrXDyiIlU5zgX1XGFUyYS+6Xd LXdL7r9jOAYULl3YuO2WQPHkVgLbXR54el87IQwvSXMxr4zTIAo6n3LjZxyYm2EhjEpR8Hff6Qwfu 4shApmkTH9knljkJPTkcANZC+; Received: from [129.199.149.196] (port=57510 helo=mocuter) by box5506.bluehost.com with esmtpsa (TLSv1:DHE-RSA-AES256-SHA:256) (Exim 4.91) (envelope-from ) id 1fbMeg-002807-Lt; Fri, 06 Jul 2018 04:03:54 -0500 Received: by mocuter (Postfix, from userid 501) id 8775532D837F; Fri, 6 Jul 2018 11:03:52 +0200 (CEST) Date: Fri, 6 Jul 2018 11:03:52 +0200 From: Timothy Bourke To: Gabriel Scherer Cc: Nicolas Ojeda Bar , Jun Inoue , caml users Message-ID: <20180706090352.v4km26ogdlla6co2@xocuter> Mail-Followup-To: Gabriel Scherer , Nicolas Ojeda Bar , Jun Inoue , caml users References: <20180706080519.3xfypjvfxsvj5kyk@xocuter> MIME-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha256; protocol="application/pgp-signature"; boundary="uqfydctny32obs5s" Content-Disposition: inline In-Reply-To: X-PGP-Key: http://www.tbrk.org/pubkey.txt User-Agent: NeoMutt/20180223 X-AntiAbuse: This header was added to track abuse, please include it with any abuse report X-AntiAbuse: Primary Hostname - box5506.bluehost.com X-AntiAbuse: Original Domain - inria.fr X-AntiAbuse: Originator/Caller UID/GID - [47 12] / [47 12] X-AntiAbuse: Sender Address Domain - tbrk.org X-BWhitelist: no X-Source-IP: 129.199.149.196 X-Source-L: No X-Exim-ID: 1fbMeg-002807-Lt X-Source: X-Source-Args: X-Source-Dir: X-Source-Sender: (mocuter) [129.199.149.196]:57510 X-Source-Auth: tbrkorg X-Email-Count: 2 X-Source-Cap: dGJya29yZzt0YnJrb3JnO2JveDU1MDYuYmx1ZWhvc3QuY29t X-Local-Domain: yes X-Validation-by: timothy.bourke@inria.fr Subject: Re: [Caml-list] Type That's Concrete From Within A Library Abstract From Without Reply-To: Timothy Bourke X-Loop: caml-list@inria.fr X-Sequence: 16976 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: --uqfydctny32obs5s Content-Type: text/plain; charset=us-ascii; format=flowed Content-Disposition: inline Content-Transfer-Encoding: quoted-printable * Gabriel Scherer [2018-07-06 10:52 +0200]: >According to the OCaml changelog, ocamldoc support for -open was >contributed by Florian Angeletti for OCaml 4.04, so it should be >supported. Thanks Gabriel (and Florian!). Sorry for missing that: the option is indeed shown by ocamldoc -h, but=20 I only checked the man page where it is missing (Fix: https://github.com/ocaml/ocaml/pull/1887). >(But indeed there may be other limitations around module aliases.) We will use URLs for the time being, e.g., {{!Sundials_config.version}Sundials.Config.version}. Tim. --uqfydctny32obs5s Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQEzBAABCAAdFiEE3GWV8Ve1AMz4ZV8OHQga2C8a110FAls/MHcACgkQHQga2C8a 112qcwf/aNvNCL1zKH9tqb973uXNtkHkEAausv33ahwMtli960EcjJ1Ii5roNdIY 2tMgxcRYqOyE7yGUJp3BTBqke+2G9ZUnRoMsVZhPdhTaBZ/u1FhRrIhlOHGt8ZSw JrlKaJnp1y9fx1BQQnSD8EtGWdilTkASD92Bn7NwCk+pXG5Sk0fpQsmjjvaxL6Nd e5qagE64NrMCFPbVNAdaXb5nqjeY0RCgLzTYyN40+yTr+dIWnrxC/m7lG1mpsqOd yjLhWZN3EeNW2WMzJFdTI95TqqJX7Un7lF2Ufue0iiPX/KffRM46O1DJNWD/5nuc HZXWx3BaeuYKYIx+ALVfHe7vHJNYug== =isde -----END PGP SIGNATURE----- --uqfydctny32obs5s--