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 0F06B5D4 for ; Fri, 6 Jul 2018 08:08:28 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.51,315,1526335200"; d="asc'?scan'208";a="336302493" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 06 Jul 2018 10:08:26 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 3727C824B4; Fri, 6 Jul 2018 10:08:26 +0200 (CEST) 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 CEA5E82486 for ; Fri, 6 Jul 2018 10:05:27 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=tim@tbrk.org; spf=PermError smtp.mailfrom=tim@tbrk.org; spf=Pass smtp.helo=postmaster@gateway30.websitewelcome.com IronPort-PHdr: =?us-ascii?q?9a23=3Afsep5BPM4NbqUR83JrYl6mtUPXoX/o7sNwtQ0KIM?= =?us-ascii?q?zox0LfT4rarrMEGX3/hxlliBBdydt6oazbKO+4nbGkU4qa6bt34DdJEeHzQksu?= =?us-ascii?q?4x2zIaPcieFEfgJ+TrZSFpVO5LVVti4m3peRMNQJW2aFLduGC94iAPERvjKwV1?= =?us-ascii?q?Ov71GonPhMiryuy+4ZLebxlJiTanfb9+MAi9oBnMuMURnYZsMLs6xAHTontPde?= =?us-ascii?q?RWxGdoKkyWkh3h+Mq+/4Nt/jpJtf45+MFOTav1f6IjTbxFFzsmKHw65NfqtRbY?= =?us-ascii?q?UwSC4GYXX3gMnRpJBwjF6wz6Xov0vyDnuOdxxDWWMMvrRr0vRz+s87lkRwPpiC?= =?us-ascii?q?cfNj427mfXitBrjKlGpB6tvgFzz5LIbI2QMvd1Y6HTcs4ARWdZUMhfVzJPDJ6/?= =?us-ascii?q?YYsBAOUOIftXoIvzqFYVohuyGROhCfnzxjJSm3P727Ax3eQ7EQHB2QwtB8wAsH?= =?us-ascii?q?XRrNXyKKcSUeC0x7TVwDXEcvNWwzT955bVeR0mvfGMXLdwfNHNyUY0DQPFjU+c?= =?us-ascii?q?qYv/PzOaz+kAtXWQ4el4Ve+3lmIqrx99riKyysovioTFnJ8Zx1TL+Clj3Yo4JM?= =?us-ascii?q?W0RFNlbdOgCpdcqiWXOo9sTs8/TGxlvDw2xqACtJO6eiUB1Y4pyATFa/OddoiF?= =?us-ascii?q?+hLjW/iVITd/nH9ld6iwhwqs/kmu0OL9Vse53EpQoitLjNbDrWsN1x3P6seZRP?= =?us-ascii?q?py4EOh1iqI1wDW9O5IO1w7la3eK5I5w74wkIQcsVjbEyPrnEj6krWaelgn9+Wo?= =?us-ascii?q?8ejrf7Hrq5CGO4NpiwzyKqEulda+AeQ8PAgORW+b+eGk2b3//E35Ra5HjuEtna?= =?us-ascii?q?nDs5DWP8MbprS2AwNNyIYs9w6/Dyu60NQfhXQIMEhKeBeDj4TwP1HOIev4Deuk?= =?us-ascii?q?jlS3kDZrwujGMaf7DpXMKHjDirbhcqxn505S0gpghexYsrRVAbYFqenEfU38uN?= =?us-ascii?q?XvJJMje1iywu3gDNxmkIQcVG6GRKWQKovWvE+J6ONpKO6JMtw7ojH4fsQk4vny?= =?us-ascii?q?jW5xs1gAZ6qklc8LaXWQAv58IAOee3W60YRJKnsDogdrFL+is1aFSzMGIi/qB/?= =?us-ascii?q?tttAF+M5qvCML4fq7ohbWA2CmhGZgPPjJaAEqPV3DyeNfaAqteWGepOsZk1wc8?= =?us-ascii?q?e/25UYZ4jUOyvhX5jb19IbiMo3BKhdfYzNFwotbru1Qy+DhzVJzP3GiRQn59jz?= =?us-ascii?q?hQASA71rt+vUFix1OI1q11xfdfEI4K6g=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0C2AgDM+T5bhhDCucBcHAEBAQQBAQoBA?= =?us-ascii?q?YQrfyiYM45yiEWBeggDHw2EQAKCLRoHAQMxFwECAQECAQEBAQETAQEBCAsLCCM?= =?us-ascii?q?BBSMMgjUkAYJdAwNAAQE3AQ8LISUPHSsGgzMBgXINBagxgwqCcQEBBYVXgTIII?= =?us-ascii?q?ohLVIE7BoNwLopQmVEJhgaJEYgdhUaSC4FDA4IFMxoIKAg7gmkJgg8aGohIhUB?= =?us-ascii?q?tdx4NjjABAQ?= X-IPAS-Result: =?us-ascii?q?A0C2AgDM+T5bhhDCucBcHAEBAQQBAQoBAYQrfyiYM45yiEW?= =?us-ascii?q?BeggDHw2EQAKCLRoHAQMxFwECAQECAQEBAQETAQEBCAsLCCMBBSMMgjUkAYJdA?= =?us-ascii?q?wNAAQE3AQ8LISUPHSsGgzMBgXINBagxgwqCcQEBBYVXgTIIIohLVIE7BoNwLop?= =?us-ascii?q?QmVEJhgaJEYgdhUaSC4FDA4IFMxoIKAg7gmkJgg8aGohIhUBtdx4NjjABAQ?= X-IronPort-AV: E=Sophos;i="5.51,315,1526335200"; d="asc'?scan'208";a="336301212" Received: from gateway30.websitewelcome.com ([192.185.194.16]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 06 Jul 2018 10:05:25 +0200 Received: from cm16.websitewelcome.com (cm16.websitewelcome.com [100.42.49.19]) by gateway30.websitewelcome.com (Postfix) with ESMTP id A3111F30 for ; Fri, 6 Jul 2018 03:05:23 -0500 (CDT) Received: from box5506.bluehost.com ([162.241.217.195]) by cmsmtp with SMTP id bLk3fPLVeaSeybLk3f3PXe; Fri, 06 Jul 2018 03:05:23 -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=W11kIPVcRu7U426e6bBvBsKKDjuUp2bYovd5t3F3cho=; b=SSS5KaFsP5iXpTEZZqcwwclggi H6rwfEuPKxmgnjF7xuCBG8Xkt9wIsMMzU8uZIi4K9j3DDPHOLURH+/y0oi95qCN5+mjj7GlhVUvYX MhkmuD1ZpUmroeptYpMr1DU3s; Received: from [129.199.149.196] (port=57087 helo=mocuter) by box5506.bluehost.com with esmtpsa (TLSv1:DHE-RSA-AES256-SHA:256) (Exim 4.91) (envelope-from ) id 1fbLk3-00208x-86; Fri, 06 Jul 2018 03:05:23 -0500 Received: by mocuter (Postfix, from userid 501) id B5C6032D6CCC; Fri, 6 Jul 2018 10:05:19 +0200 (CEST) Date: Fri, 6 Jul 2018 10:05:19 +0200 From: Timothy Bourke To: =?utf-8?Q?Nicol=C3=A1s_Ojeda_B=C3=A4r?= Cc: Jun Inoue , caml list Message-ID: <20180706080519.3xfypjvfxsvj5kyk@xocuter> Mail-Followup-To: =?utf-8?Q?Nicol=C3=A1s_Ojeda_B=C3=A4r?= , Jun Inoue , caml list References: MIME-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha256; protocol="application/pgp-signature"; boundary="ktw76ppxaeyctut3" 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: 1fbLk3-00208x-86 X-Source: X-Source-Args: X-Source-Dir: X-Source-Sender: (mocuter) [129.199.149.196]:57087 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: 16974 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: --ktw76ppxaeyctut3 Content-Type: text/plain; charset=iso-8859-1; format=flowed Content-Disposition: inline Content-Transfer-Encoding: quoted-printable * Nicol=E1s Ojeda B=E4r [2018-04-26 17:03 +0200]: >This is a limitation of module packs. However, there is a much better >alternative to module packs in the form of module aliases which will >allow you to do what you want. Thank you for this suggestion. We have tried it on a development=20 branch of the Sundials/ML library and it works quite well. >4. compile the individual files in the library with > > ocamlc -no-alias-deps -open Sundials -c sundials__private.ml > ocamlc -no-alias-deps -open Sundials -c sundials__public.ml For the record, two details are worth noting regarding the "-open=20 Sundials". 1. It works well with Merlin if one adds the line FLG -open Sundials to the .merlin file. 2. It does not work well with ocamldoc, which has no -open option. Maybe there is another way around this problem? In any case, there currently seem to be some other limitations around=20 ocamldoc and module aliases. Tim. --ktw76ppxaeyctut3 Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQEzBAABCAAdFiEE3GWV8Ve1AMz4ZV8OHQga2C8a110FAls/Ir4ACgkQHQga2C8a 112WNggAhiN6rPXTiD0SSKjtlAQsjf4c+mWmMCBzHGUKE1Bf+Nqo5KdJ5N15cAFC bof5Thxl4MjzPSh1wwfld8YPgh9WNyMcEBX9gVTPZAayoCpYK4mWfpGmxuq92YrS 8jK0XitYyONwtvR3l88MxfkvwzV7NbxpaRJAXTQYwo9UcC87zMcf1RzJhD2aK/hI YlQyVNnoQJdZtmYhO9hHPLvj1qJw3heixC7u4BV5J/V58RuziGNxQ++6FubD1cY+ lCWEmy5sl9LnzFXCcLfpm9Nw1J49uIIVP7hP9NoiVN75crWdP4jXIcwAs84CGtlZ pX0XFzF25VW8s1W0QmLhOl9pjJuqFA== =0ZhI -----END PGP SIGNATURE----- --ktw76ppxaeyctut3--