caml-list - the Caml user's mailing list
 help / Atom feed
From: Nicolás Ojeda Bär <nicolas.ojeda.bar@lexifi.com>
To: Jun Inoue <jun.lambda@gmail.com>
Cc: caml list <caml-list@inria.fr>
Subject: Re: [Caml-list] Type That's Concrete From Within A Library Abstract From Without
Date: Thu, 26 Apr 2018 17:14:10 +0200
Message-ID: <CADK7aFMTG0EiLKq4AEaYu_Jadswsf41XjKoyw3Lqs5MNU62oHw@mail.gmail.com> (raw)
In-Reply-To: <CADK7aFOLQDAkPkK8SAp59J24Puj1E=uh-bTeH645OxgQLgWzRg@mail.gmail.com>

Sorry, I forgot the last step in my email, which is to create a cma
with all the compilation units:

  ocamlc -a sundials*.cmo -o sundials.cma

and install sundials.cma and the public *.cmi's as needed.

Best wishes,
Nicolás

On Thu, Apr 26, 2018 at 5:03 PM, Nicolás Ojeda Bär
<nicolas.ojeda.bar@lexifi.com> wrote:
> Dear Jun,
>
> 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.
>
> You can head to
> https://caml.inria.fr/pub/docs/manual-ocaml/extn.html#sec249 for a
> more lengthy explanation, but briefly, in your example:
>
> 1. rename private.ml to sundials__private.ml and public.ml to
> sundials__public.ml
> 2. create a file sundials.ml with contents:
>
>   module Private = Sundials__private
>   module Public = Sundials__public
>
> 3. compile sundials.ml with
>
>   ocamlc -no-alias-deps -c sundials.ml
>
> (you may want to disable warning 49 when doing this)
>
> 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
>
> 5. You can now delete (or not install) sundials__private.cmi and ship
> the other files
>
>   sundials.cmo
>   sundials.cmi
>   sundials__public.cmo
>   sundials__public.cmi
>   sundials__private.cmo
>
> to hide the private module from "outside" library users.
>
> Note that if you use jbuilder/dune, then your library will be built
> like this (steps 1-4) by default.
>
> Hope it helps,
>
> Best wishes,
> Nicolás
>
> On Thu, Apr 26, 2018 at 4:18 PM, Jun Inoue <jun.lambda@gmail.com> wrote:
>> Dear list,
>>
>> Is there a way to make a type concrete inside a library, yet opaque to
>> library users, preferably in a way that works with -pack?  This is a
>> nagging issue in our sundials package
>> (http://inria-parkas.github.io/sundialsml/).
>>
>> Basically, we have a type declared in one module of the library that
>> is pattern-matched upon in other modules, like:
>>
>> (* private.ml *)
>> type opaque_type = Foo | Bar
>>
>> (* public.ml *)
>> let f : opaque_type -> int = function
>>   | Foo -> 0
>>   | Bar -> 1
>>
>> There are a few constraints:
>> - We don't want users to be able to pattern-match on opaque_type.
>> - We need multiple modules in the library to pattern-match on
>> opaque-type (so moving opaque_typ e to public.ml is not an option).
>> - To avoid namespace pollution, we want to pack the whole library
>> (with ocamlc -pack) as a single Sundials module, so the user sees a
>> Sundials.Public module instead of just Public.
>>
>> Is this possible?  Right now, we just collect public.cmo and
>> private.cmo into sundials.cma and throw away private.cmi.  But this
>> doesn't work with packing:
>>
>> $ ocamlc -pack -o sundials.cmo private.cmo public.cmo
>>
>> demands that there be a private.cmi.
>>
>> --
>> Jun Inoue
>>
>> --
>> 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

-- 
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 [this message]
2018-07-06  8:08   ` Timothy Bourke
2018-07-06  8:44     ` Gabriel Scherer
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=CADK7aFMTG0EiLKq4AEaYu_Jadswsf41XjKoyw3Lqs5MNU62oHw@mail.gmail.com \
    --to=nicolas.ojeda.bar@lexifi.com \
    --cc=caml-list@inria.fr \
    --cc=jun.lambda@gmail.com \
    /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