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

[Timothy Bourke <tim@tbrk.org>]

[-- Attachment #1: Type: text/plain, Size: 966 bytes --]

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


[-- Attachment #2: signature.asc --]
[-- Type: application/pgp-signature, Size: 488 bytes --]