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 88CC85D4 for ; Fri, 6 Jul 2018 08:44:37 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.51,315,1526335200"; d="scan'208";a="336323381" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 06 Jul 2018 10:44:34 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id BFDB0824B4; Fri, 6 Jul 2018 10:44:34 +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 5AE8B82486 for ; Fri, 6 Jul 2018 10:44:21 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=gabriel.scherer@gmail.com; spf=Pass smtp.mailfrom=gabriel.scherer@gmail.com; spf=None smtp.helo=postmaster@mail-lf0-f48.google.com IronPort-PHdr: =?us-ascii?q?9a23=3AaPE2UxMtDGiVxeUwI4cl6mtUPXoX/o7sNwtQ0KIM?= =?us-ascii?q?zox0Ivj4rarrMEGX3/hxlliBBdydt6oazbKO+4nbGkU4qa6bt34DdJEeHzQksu?= =?us-ascii?q?4x2zIaPcieFEfgJ+TrZSFpVO5LVVti4m3peRMNQJW2aFLduGC94iAPERvjKwV1?= =?us-ascii?q?Ov71GonPhMiryuy+4ZLebxlJiTanfb9+MAi9oBnMuMURnYZsMLs6xAHTontPde?= =?us-ascii?q?RWxGdoKkyWkh3h+Mq+/4Nt/jpJtf45+MFOTav1f6IjTbxFFzsmKHw65NfqtRbY?= =?us-ascii?q?UwSC4GYXX3gMnRpJBwjF6wz6Xov0vyDnuOdxxDWWMMvrRr0yRD+s7bpkSAXwhS?= =?us-ascii?q?gIOT428mHZhMJzgqxGvhyuuxNxzpXIYIGMLvdyYr/Rcc8YSGdHQ81fVzZBAoS5?= =?us-ascii?q?b4YXDuQOJ/1Xr5P8p1QQqRu1GBSiC//vyjBWnH/5w7c62PkmHAHJxgMvBMgOsH?= =?us-ascii?q?XKo9XxLqsSSvy6zKnWwjXZcfxWwyzw6IfNch87oPGMWah8ftbWyUkqDg7IiEib?= =?us-ascii?q?p4/9Pz6NyOgBr2yW4/BjWO+vkWIrtRx9rzi1ysojiYTEgJ8exEre+iVj2ok1IM?= =?us-ascii?q?W1SE5lbt6gF5tdrySaOJF3QsMmWm1ovCg6xqEftZ61cyUHy44rxxHYa/yAfIiI?= =?us-ascii?q?5gzsWPyNLjd/gXJpYLO/hxCs/ki80uDwSNW43VJQoidGktTArG4B2wHT58SdRf?= =?us-ascii?q?Zw/V+t2TOV2ADS7uFEL1o0la3eK5M5zb4/jIEcsV7CHiDonEX6lrSWeVkk+ue2?= =?us-ascii?q?8eTofK/mq4STN49xkA7+M6AultajDuQ/NwgCR3Kb9vik1L3/4U35R61HgeEsna?= =?us-ascii?q?nctJDWPMAbpq+iAw9JyYsj8Ba+DzK+0NsCh3UHLVRFeAiGj4fzIV3OLur4Xr+D?= =?us-ascii?q?hAGwkTJD2/rcPfvmGJqJZl7Cm7DldK01zExRxAN759lFr8ZSC7oGJPvoHEjzud?= =?us-ascii?q?DRSBUwKSSwzvbmBtQ73YQbDybHILKfeILUtkKFrrYtPu/KYIYQsjr0A/cg7v/q?= =?us-ascii?q?y3Q+nAlZNaKg2J9fdWu1BO8ud06QZH6phtYaDU8LuBA/RarkkgvRfyRUYiOdVq?= =?us-ascii?q?gm5zw/QLmtDYrZS5rl1LOI1j26E5kQfWtGB0qBC1/ncoyFX7EHbyfEcZwpqSAN?= =?us-ascii?q?SbX0E9xp7hqprgKvk+M2fNqRwTURsNfY7PYw4uTSkR8o8jktVpaS1miMSyd/mW?= =?us-ascii?q?ZaHmZqjpA6mlR0zxK46YY9m+ZRTIUB6PZAUwN8PpnZnbQjVoLCHznZd9LMc26I?= =?us-ascii?q?B9WrBTZrE4A0yt4KJkJzQ5Cs0kCF0C2tDLsY0beMAc5s/w=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0B+AQDM+T5bhjDXVdFcHgEGDINtPn8og?= =?us-ascii?q?3qDbZBMggeJJYQPh3yBegsfhE0Cgi0ZBwEEMBgBAgEBAgEBAQEBEwEBAQgLCwg?= =?us-ascii?q?pIwyCNSKCYAECAyMdARseAwwGBQsNAgImAgIiAREBBQEcBgESgyABgWYBAxWdX?= =?us-ascii?q?zyLCYF/BQEXgnIFg1QKGSYNV1eBMgIGEnmHYoFWP4NwLod7glUCmU8HAoFuhBi?= =?us-ascii?q?JHI1YkXwPIYEgggozGiNQMYI4CYIPGhqDNIpUPTCPUgEB?= X-IPAS-Result: =?us-ascii?q?A0B+AQDM+T5bhjDXVdFcHgEGDINtPn8og3qDbZBMggeJJYQ?= =?us-ascii?q?Ph3yBegsfhE0Cgi0ZBwEEMBgBAgEBAgEBAQEBEwEBAQgLCwgpIwyCNSKCYAECA?= =?us-ascii?q?yMdARseAwwGBQsNAgImAgIiAREBBQEcBgESgyABgWYBAxWdXzyLCYF/BQEXgnI?= =?us-ascii?q?Fg1QKGSYNV1eBMgIGEnmHYoFWP4NwLod7glUCmU8HAoFuhBiJHI1YkXwPIYEgg?= =?us-ascii?q?gozGiNQMYI4CYIPGhqDNIpUPTCPUgEB?= X-IronPort-AV: E=Sophos;i="5.51,315,1526335200"; d="scan'208";a="272110857" Received: from mail-lf0-f48.google.com ([209.85.215.48]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 06 Jul 2018 10:44:20 +0200 Received: by mail-lf0-f48.google.com with SMTP id u14-v6so9174524lfu.0 for ; Fri, 06 Jul 2018 01:44:20 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:references:in-reply-to:from:date:message-id:subject:to :content-transfer-encoding; bh=D4hkI/x2mZTtKeZtBq/pF127muIceo6Uu2b8YZ3kJmw=; b=l22GaUeKZgzy62DKcIHlRay/4mzPFUCtUKV0gQD8N6CFpFusrHOplglL7YV9fYCrsJ 0Qr38uJVGOF+sVcpDR7stIUMzldNkrCRhBlGIIRuzCZCk0t/+i4sdfzKUiqF2sKoirhF xLq4cJaDkrhittTYt/Dvew5NOdQ7g+XVsTsUd/R+/MSIByeMbviB4bWJCPGKVbCcak9u sW1beZLhhKlJzhwlmpRumi765WD9O0mfAeQth6Q5rxDeW780+oDg3wd5iyPF0HWXwHbo LbNqJPGmKi3BU+uQMhdhH7rxy9fC0l8Rn2vGP9xzWrRqdR47PmjfJSdNL3XhU4RJLIj0 vG6A== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:references:in-reply-to:from:date :message-id:subject:to:content-transfer-encoding; bh=D4hkI/x2mZTtKeZtBq/pF127muIceo6Uu2b8YZ3kJmw=; b=sZYtrl/u8zygv06X/xNteJDYLPrghcWWtrYS4iVS2RQ7qat+uxzXf7NTQKOb0VGJBR oQRcmjpcc4jCTtpuOl4iuk/M/KHozeZ9RueqEoQ3JiHpBQzI7fSol4QkfsyCxJepWQbK vKb0hr7+wS6WhhCs9wjWVRis9MsW+NHZRL0IfQwOQDSRcBaHXaFBrHFVvosbMq0cgM0B C3ouhFPQfrkXvUKQeU9SAXzOGkUhRBjQ//kaVuiBqec67e4l7QPEEypbzEfwm9WCVh6X XsShMJYD1MxS3GeCmV3WVQfkaxyXHbulf7JyHQn19DQ0RG8XpjcajRoFAJS59326v60t Y8pg== X-Gm-Message-State: APt69E1cyA7shnWqX0ZLivlPlBlp5MvaKUK/yyDQ3qW3k2Ipk5B3L2yd /obpnkifltAhSg48n+bKykU4VLTHyUVzMJ3QfLk= X-Google-Smtp-Source: AAOMgpfsx7w+vnSgR2iCg9gFs5TiXtIfEnqeXjwHx1DkbW5qtF5sB+nAbRGyiU+1Gm+M4eKBmdJe7xVhYFqFqaqM/qI= X-Received: by 2002:a19:cc0f:: with SMTP id c15-v6mr6600007lfg.145.1530866659395; Fri, 06 Jul 2018 01:44:19 -0700 (PDT) MIME-Version: 1.0 References: <20180706080519.3xfypjvfxsvj5kyk@xocuter> In-Reply-To: <20180706080519.3xfypjvfxsvj5kyk@xocuter> From: Gabriel Scherer Date: Fri, 6 Jul 2018 10:52:04 +0200 Message-ID: To: tim@tbrk.org, Nicolas Ojeda Bar , Jun Inoue , caml users Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Subject: Re: [Caml-list] Type That's Concrete From Within A Library Abstract From Without Reply-To: Gabriel Scherer X-Loop: caml-list@inria.fr X-Sequence: 16975 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: According to the OCaml changelog, ocamldoc support for -open was contributed by Florian Angeletti for OCaml 4.04, so it should be supported. (But indeed there may be other limitations around module aliases.) On Fri, Jul 6, 2018 at 10:08 AM Timothy Bourke wrote: > > * Nicol=C3=A1s Ojeda B=C3=A4r [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 > 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 > 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 > ocamldoc and module aliases. > > Tim. > --=20 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=