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:03:28 +0200 [thread overview]
Message-ID: <CADK7aFOLQDAkPkK8SAp59J24Puj1E=uh-bTeH645OxgQLgWzRg@mail.gmail.com> (raw)
In-Reply-To: <CA+ZA8QzuJg8iZC=aktSNKhnJuHU0ghVOuCV5X05t+5D2bJd5xA@mail.gmail.com>
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
next prev parent reply other threads:[~2018-04-26 15:04 UTC|newest]
Thread overview: 13+ messages / expand[flat|nested] mbox.gz Atom feed top
2018-04-26 14:18 Jun Inoue
2018-04-26 14:27 ` Malcolm Matalka
2018-04-26 15:03 ` Nicolás Ojeda Bär [this message]
2018-04-26 15:14 ` Nicolás Ojeda Bär
2018-07-06 8:05 ` Timothy Bourke
2018-07-06 8:52 ` Gabriel Scherer
2018-07-06 9:03 ` Timothy Bourke
2018-04-26 15:06 ` Ivan Gotovchits
2018-04-27 5:48 ` Jun Inoue
2018-04-27 6:05 ` Jacques Garrigue
2018-04-27 8:53 ` Jun Inoue
2018-04-27 10:40 ` Mikhail Mandrykin
2018-04-27 11:21 ` Elie Canonici Merle
Reply instructions:
You may reply publicly 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='CADK7aFOLQDAkPkK8SAp59J24Puj1E=uh-bTeH645OxgQLgWzRg@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
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).