Re: [Caml-list] Type That's Concrete From Within A Library Abstract From Without

[Gabriel Scherer <gabriel.scherer@gmail.com>]

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