caml-list - the Caml user's mailing list
 help / Atom feed
From: Gabriel Scherer <gabriel.scherer@gmail.com>
To: tim@tbrk.org, Nicolas Ojeda Bar <nicolas.ojeda.bar@lexifi.com>,  Jun Inoue <jun.lambda@gmail.com>, caml users <caml-list@inria.fr>
Subject: Re: [Caml-list] Type That's Concrete From Within A Library Abstract From Without
Date: Fri, 6 Jul 2018 10:52:04 +0200
Message-ID: <CAPFanBH9y0MzSQ50z7X=SBmZOebAhQWg6agoBt9rvNjSiRv4Kw@mail.gmail.com> (raw)
In-Reply-To: <20180706080519.3xfypjvfxsvj5kyk@xocuter>

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 <tim@tbrk.org> wrote:
>
> * Nicolás Ojeda Bär [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.
>

-- 
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

  reply index

Thread overview: 13+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2018-04-26 14:18 Jun Inoue
2018-04-26 14:28 ` Malcolm Matalka
2018-04-26 15:04 ` Nicolás Ojeda Bär
2018-04-26 15:14   ` Nicolás Ojeda Bär
2018-07-06  8:08   ` Timothy Bourke
2018-07-06  8:44     ` Gabriel Scherer [this message]
2018-07-06  9:05       ` Timothy Bourke
2018-04-26 15:06 ` Ivan Gotovchits
2018-04-27  5:49   ` Jun Inoue
2018-04-27  6:06     ` Jacques Garrigue
2018-04-27  8:53       ` Jun Inoue
2018-04-27 11:21         ` Elie Canonici Merle
2018-04-29 10:39         ` Mikhail Mandrykin

Reply instructions:

You may reply publically to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to='CAPFanBH9y0MzSQ50z7X=SBmZOebAhQWg6agoBt9rvNjSiRv4Kw@mail.gmail.com' \
    --to=gabriel.scherer@gmail.com \
    --cc=caml-list@inria.fr \
    --cc=jun.lambda@gmail.com \
    --cc=nicolas.ojeda.bar@lexifi.com \
    --cc=tim@tbrk.org \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link

caml-list - the Caml user's mailing list

Archives are clonable: git clone --mirror https://inbox.ocaml.org/caml-list

AGPL code for this site: git clone https://public-inbox.org/ public-inbox